Skip to content
Oumuamua Labs

Hekate Prover v0.13.0

Released manifest.toml SHA-256 · Ed25519 · ML-DSA-65

Downloads

Platform
Architecture
Witness
Security

macOS · aarch64 · Private, constant-time · 100-bit · 1 file

libhekate_prover_cdylib.dylib

triple aarch64-apple-darwin

sha256 0f0f7df70a3fb2bf50b11c953b62c1af0062b60c8516a1167b4ec5b5eb0ea6eb

Download

macOS · aarch64 · Private, constant-time · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

macOS · aarch64 · Public, faster · 100-bit · 1 file

libhekate_prover_cdylib.dylib

triple aarch64-apple-darwin

sha256 96417510106b115be38289413e6fc0c9c31ad67fa3172a0804e1b0e75a761a57

Download

macOS · aarch64 · Public, faster · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

macOS · x86_64 · Private, constant-time · 100-bit

No build for this combination

macOS · x86_64 · Private, constant-time · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

macOS · x86_64 · Public, faster · 100-bit

No build for this combination

macOS · x86_64 · Public, faster · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

Linux · aarch64 · Private, constant-time · 100-bit · 1 file

libhekate_prover_cdylib.so

triple aarch64-unknown-linux-gnu

sha256 d42ace23e6ea886d7c09a711e66c75d609e749edec3baf621795749c77dbedac

Download

Linux · aarch64 · Private, constant-time · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

Linux · aarch64 · Public, faster · 100-bit · 1 file

libhekate_prover_cdylib.so

triple aarch64-unknown-linux-gnu

sha256 c5cbee2c5c0265a5f560ceea5a03e0d15baff5f1287f16000e0396573b351282

Download

Linux · aarch64 · Public, faster · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

Linux · x86_64 · Private, constant-time · 100-bit

No build for this combination

Linux · x86_64 · Private, constant-time · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

Linux · x86_64 · Public, faster · 100-bit

No build for this combination

Linux · x86_64 · Public, faster · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

iOS · aarch64 · Private, constant-time · 100-bit · 2 files

libhekate_prover_cdylib.dylibsimulator

triple aarch64-apple-ios-sim

sha256 dddce9782ca055cd7e81a7dd7c5df4e1a559133425023cfc3ee95ceed438e66d

Download

libhekate_prover_cdylib.dylibdevice

triple aarch64-apple-ios

sha256 a910c7fb43de59a9597e797d28956b4a71225c83bbdf3eb7651d98b451d4a776

Download

iOS · aarch64 · Private, constant-time · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

iOS · aarch64 · Public, faster · 100-bit · 2 files

libhekate_prover_cdylib.dylibsimulator

triple aarch64-apple-ios-sim

sha256 8c6772cffb32d5dfcfb0c5ef5d3746a79350000690b4225b8f5c1f3fffb7c5ae

Download

libhekate_prover_cdylib.dylibdevice

triple aarch64-apple-ios

sha256 37501ac541d7d8fe4b18f9c7f1ecf6c57a63741f3ef725900a1741fd80ffaa63

Download

iOS · aarch64 · Public, faster · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

iOS · x86_64 · Private, constant-time · 100-bit

No build for this combination

iOS · x86_64 · Private, constant-time · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

iOS · x86_64 · Public, faster · 100-bit

No build for this combination

iOS · x86_64 · Public, faster · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

Android · aarch64 · Private, constant-time · 100-bit · 1 file

libhekate_prover_cdylib.so

triple aarch64-linux-android

sha256 f22992fa6b6488df5765e2a55f448dedeb27983026a7206becac8fc2a4c222c8

Download

Android · aarch64 · Private, constant-time · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

Android · aarch64 · Public, faster · 100-bit · 1 file

libhekate_prover_cdylib.so

triple aarch64-linux-android

sha256 e712d33616390a62000d230f6562f87d9aaaa10d10d94534cd85e78d126d562f

Download

Android · aarch64 · Public, faster · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

Android · x86_64 · Private, constant-time · 100-bit

No build for this combination

Android · x86_64 · Private, constant-time · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

Android · x86_64 · Public, faster · 100-bit

No build for this combination

Android · x86_64 · Public, faster · 128-bit

128-bit builds come with a Pro or Enterprise license.

Buy Pro Licenses

Private (constant-time) is the build to ship when the witness is secret. Public (faster) suits workloads whose witness is public, such as benchmarks. Pair the prover with the Hekate release its notes name.