zk-tokyo / core-programLinks
2025 core program
☆18Updated last week
Alternatives and similar repositories for core-program
Users that are interested in core-program are comparing it to the libraries listed below
Sorting:
- RSA verification circuit using halo2 library.☆57Updated 2 years ago
- BFV implementation in Python☆27Updated last year
- Circom ASN.1 Parser☆20Updated last year
- ☆19Updated 2 years ago
- ☆22Updated last year
- ☆26Updated last year
- WebGPU MSM implementation☆12Updated last month
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆53Updated last month
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Updated last year
- ☆17Updated 4 months ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆17Updated 5 years ago
- Aims to create various ZK verifiers on Starknet for network growth☆18Updated 2 months ago
- A lattice-based non-interactive folding scheme written in Rust☆101Updated this week
- Zero Knowledge Provable JSON☆50Updated last month
- Plasma Next☆35Updated last year
- ☆29Updated 2 months ago
- A circuit to verify the voice recovery process.☆49Updated 2 years ago
- A monorepo for vOPRF-based secure nullifiers☆18Updated 4 months ago
- Notes, code and documents done while reading books and papers.☆19Updated 2 months ago
- Verifiable FHE with GKR☆26Updated 10 months ago
- ☆13Updated last year
- ☆11Updated 2 years ago
- Plonky2 Semaphore example for ZKHack☆26Updated 3 years ago
- ☆51Updated last year
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆27Updated last year
- a lattice lib for building snarks☆21Updated last year
- RLN circuits in Circom☆31Updated last year
- Library built from scratch to implement zk-protocols☆12Updated last year
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Updated last year
- zero knowledge proof aggregator for general circuit☆72Updated last year