baifdemoa

Summary: curve25519-dalek-lean-verify

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

Summary: SparsePostQuantumRatchet-verify — certified snapshot

Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify

Summary: curve25519-dalek-lean — certified snapshot

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

Summary: KVAC-model

Repo: https://github.com/Beneficial-AI-Foundation/KeyedVerificationAnonymousCredential-model

Summary: secure-messaging

Repo: https://github.com/Beneficial-AI-Foundation/secure-messaging

Summary: PQXDH

Repo: https://github.com/Beneficial-AI-Foundation/PQXDH

Summary: cedar-lean

Repo: https://github.com/cedar-policy/cedar-spec/tree/main/cedar-lean

Summary: curve25519-dalek-lean

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

Summary: ironkv

Repo: https://github.com/Beneficial-AI-Foundation/verified-ironkv/tree/main/ironsht

Summary: IronKV

Repo: https://github.com/verus-lang/verified-ironkv/tree/main/ironsht

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: dalek-verusTestSofia

Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus

Summary: lean-zip

Repo: https://github.com/kim-em/lean-zip

Summary: spqr-verify with probe-aeneas 0.9.5

Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify