Skip to content
Oumuamua Labs

Hekate Prover v0.16.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 b24871cc2fb11fb5faa35c85e5429d0c983403ee5c208354e827753f4a8cc441

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 654d3883e0e9ef22df9cc38960105f7534d95189778ff8bbffffde1dce7ca137

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

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 ddf30924fe2da2e1b31986bb71689de8a6c2a513f96ad6ab9be1b7ebdb953951

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 610ac4bc35383c491203454e808ab2659c38fe0480030117a0e865a65c948030

Download

libhekate_prover_cdylib.dylibdevice

triple aarch64-apple-ios

sha256 3a5330ad2aff86359983d2e6eee8fc7b42ad3c14667cff4717592fcef2baae93

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 9e6fccea6d04c38785c912588c8f021e21b112a023bd55434b0c546ce5e5d9a1

Download

libhekate_prover_cdylib.dylibdevice

triple aarch64-apple-ios

sha256 6536240c89040a246394d81bd98a23de362cb1d5592529c24672efbdd2948930

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 3410c106541a0f93e1379a08a4af9af1707c694871024717d6605cac84857420

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 6af3bad5c4a4b4b6fa4d06d226f7d4c108fd8019cf04750b9df20f45a9be0dca

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.