Skip to content
Oumuamua Labs

Hekate Prover v0.15.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 043b73b90107ee2ca6723dd8ac699ed2c1827ece3be4400ce0ed12ea683d1c51

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 4e72a3c12acf9adf2a9e54936723f9c80bbc604295e8b77a7e3dc328ff7a4f42

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 00895c63f62e368a92e7fd187245f8f7485b3c655bbfea7ef58b0ff06d3e5663

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 ba5acda79099aaeec8cfc74abf98854f7831ecdadb570edbaa9d64736b5d355d

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 0e1d4599a85d72f50d3a99bbf0837f98eba48396bbe660da5df0cec7d48bd5e8

Download

libhekate_prover_cdylib.dylibdevice

triple aarch64-apple-ios

sha256 06db07fb69b09af143b35d987e5cfb9a311bea75ff717664a0e249102a63cf8a

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 e0f9c8762a8aa699ad9ee62ac9f406c83d38bcc9b7a9ac2f754f2a39ed568127

Download

libhekate_prover_cdylib.dylibdevice

triple aarch64-apple-ios

sha256 8da3d0a86dcd5308973089a50c56545bbb1446568c0e09e1065acd12e45c82e8

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 e89a2ed2dd323486842f0e66f4a5491bd3c51a115373e65fa1a1284bdc15b08e

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 f4c58c52ea56fa288b5a14c1cd695590feb4d7957d96d08ce28add14f5b999de

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.