Skip to content
Oumuamua Labs

Hekate Prover v0.14.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 93219d2c338b4b67ae9be91c8fefe6d96ff8476475c299dc6234386606a39416

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

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 abff8bf8d3f64423b532034384a8af02f430212be3b1288e651290cd14c80b60

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 b5e205336daaf13a81839dfd919a9127af95e95f31c6d790a834189bf978825e

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 fadc7360a1146847b2ce702fd7cb50c178a539d0597a44e04fd7f601263fef51

Download

libhekate_prover_cdylib.dylibdevice

triple aarch64-apple-ios

sha256 1c47503f1e176b78c181e6b58aac99fa696497dce73bb3391b5f4dd49b4878b1

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

Download

libhekate_prover_cdylib.dylibdevice

triple aarch64-apple-ios

sha256 63232d641d8a4aa639c242addb54a7cdd6fa624875d665e3a398d996097e846a

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 21d990b4537d9c4be368ba10b45c883d084eb06c9b5965b8e1335ca1b5272c1a

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 7c5ffd09d4ef4815211b4b869729bb84717d9ca4ba50851718042fac6ce17a9d

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.