Summary: Dalek Verus Latest — certified snapshot — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: SparsePostQuantumRatchet-verify — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify
Summary: Dalek Verus Latest — certified snapshot — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: SparsePostQuantumRatchet-verify upload submission - 06/08/2026, 05:48:34 PM
Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify
Summary: Dalek Verus upload submission - 06/08/2026, 05:48:14 PM
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: lean-zip upload submission - 06/08/2026, 05:47:09 PM
Repo: https://github.com/kim-em/lean-zip
Summary: A zero-knowledge Lean4 compiler and kernel
Repo: https://github.com/argumentcomputer/yatima
Summary: dalek-verusTestSofia
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: Formally verifying succinct non-interactive arguments of knowledge
Repo: https://github.com/Verified-zkEVM/ArkLib
Summary: spqr-verify with probe-aeneas 0.9.5
Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify
Summary: nasa jpl test — certified snapshot
Repo: https://github.com/nasa-jpl/L4YAML
Summary: SL_PD_Lib
Repo: https://github.com/Beneficial-AI-Foundation/libsignal-verify
Summary: cedar-lean
Repo: https://github.com/cedar-policy/cedar-spec/tree/main/cedar-lean
Summary: curve25519-dalek-lean-verify
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify
