Skip to content
Oumuamua Labs

Hekate Prover v0.12.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 228acffa407b5dc7ddf854d50478ef72aa0a862bba206aec3fbabd64220c2299

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 5f1595ce89ae3ca4f5c7fe0d479978ab5d77d4936755f956cfcf63b4f2586207

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 e00be641a2f3b1e28827bf8cf1d4cf6ad94be4bc4f95aa1e14797987460f01f4

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 3e475f188f4496edf421420d54b4243809e9b1368c88e9393134e56925b9876d

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 acfe3dd2be1d7372a84061948b9d4dd93096e59e775f2e58575fa9c07039dca5

Download

libhekate_prover_cdylib.dylibdevice

triple aarch64-apple-ios

sha256 e5ca39b71429a5d67de381ddf576c0f6d7d2bfefc88ac4566944938ecb3c5bec

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 5df484ebe8a52f532ea44ea354b10b02411189c5eb8a75f73c404ba9620ccdea

Download

libhekate_prover_cdylib.dylibdevice

triple aarch64-apple-ios

sha256 d40e9d262e6e91a400c265eaa4b84e67a38fca474d215fd08eb9b6b62d9d8dd3

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 33728655fbd36f7274d64bb5960ca1562ad4f07e906d9074d33dfe2d62716496

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 5c339f8249da3564ecac46770cfb96a37cc85c044b8c938f55a0d6b29206d904

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.