Beneficial AI Foundation
Popular repositories Loading
-
-
-
formal-verification-skills
formal-verification-skills PublicFormal verification of Rust code with AI-assisted specification and proof.
-
-
curve25519-dalek-lean-verify
curve25519-dalek-lean-verify PublicVerifying curve25519-dalek using Lean
Repositories
- auto_verify_dalek Public
- curve25519-dalek-u32 Public
- probe-lean Public
- KeyedVerificationAnonymousCredential-model Public
Formalization of keyed-verification anonymous credential (KVAC) framework of Orrù, Revisiting Keyed-Verification Anonymous Credentials (IACR ePrint 2024/1552)
- SparsePostQuantumRatchet-verify Public Forked from signalapp/SparsePostQuantumRatchet
Project to formally verify SPQR using Lean
- libsignal-verify Public Forked from signalapp/libsignal
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
- probe-verus Public
- dalek-lite Public Forked from dalek-cryptography/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
- libsignal Public Forked from signalapp/libsignal
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…