zksecurity / mina-attestations
Private Attestations for Mina wallets
☆13Updated this week
Alternatives and similar repositories for mina-attestations:
Users that are interested in mina-attestations are comparing it to the libraries listed below
- Verifiable FHE with GKR☆26Updated 5 months ago
- ☆27Updated 2 weeks ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆10Updated last year
- Solidity implementation of Nova proving system verifier☆60Updated last year
- ☆38Updated 5 months ago
- Workbook for Introduction to Programmable Cryptography☆32Updated 2 weeks ago
- ☆2Updated last year
- Frobenius sumcheck for vectorized boolean ops☆50Updated 2 months ago
- ☆61Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆36Updated last month
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆48Updated 2 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- ☆43Updated this week
- ☆21Updated 3 weeks ago
- Proof system backends for OpenVM.☆28Updated this week
- Circom interpreter to arithmetic circuit description☆53Updated 6 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 months ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆19Updated last week
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆90Updated last week
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆38Updated last year
- ☆38Updated last year
- ☆26Updated last year
- ☆20Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated 6 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆63Updated this week
- ZK Benchmarking Suite☆22Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆111Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated last year