zero-savvy / zk-remote-attestation
Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARKs.
☆17Updated 8 months ago
Alternatives and similar repositories for zk-remote-attestation
Users that are interested in zk-remote-attestation are comparing it to the libraries listed below
Sorting:
- ☆36Updated 2 months ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆47Updated last month
- A lattice-based non-interactive folding scheme written in Rust☆73Updated this week
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆26Updated last year
- Frobenius sumcheck for vectorized boolean ops☆53Updated last month
- zero knowledge proof aggregator for general circuit☆72Updated 11 months ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆18Updated this week
- ☆27Updated 2 weeks ago
- Verifiable FHE with GKR☆26Updated 7 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆41Updated last week
- ☆24Updated last year
- ☆77Updated 4 months ago
- AES-GCM implementation in Circom☆38Updated 2 years ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆64Updated 3 months ago
- ZK proofs for image authenticity☆41Updated this week
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆21Updated this week
- ☆23Updated this week
- Verifiable FHE prototype☆23Updated 9 months ago
- My notes related to Cryptography & Zero-Knowledge.☆44Updated last month
- A monorepo of reusable Circom circuits.☆25Updated last month
- ☆51Updated last year
- ☆41Updated last year
- Crescent adds privacy to existing credentials with zero-knowledge☆26Updated this week
- Let's go https://eprint.iacr.org/2022/1763.pdf☆59Updated last year
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆12Updated last month
- a lattice lib for building snarks☆21Updated 11 months ago
- ☆26Updated last year
- A library for lattice-based multiparty homomorphic encryption in Go☆12Updated 4 months ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆11Updated 3 months ago
- Rust Code for CELPC☆20Updated last month