zk-tokyo / core-programLinks
2025 core program
☆20Updated 3 weeks ago
Alternatives and similar repositories for core-program
Users that are interested in core-program are comparing it to the libraries listed below
Sorting:
- BFV implementation in Python☆27Updated last year
- RSA verification circuit using halo2 library.☆57Updated 2 years ago
- ☆17Updated 6 months ago
- ☆19Updated 2 years ago
- ☆11Updated 2 years ago
- Plasma Next☆35Updated last year
- WebGPU MSM implementation☆17Updated last month
- ☆22Updated last year
- Circom ASN.1 Parser☆20Updated last year
- ☆20Updated last year
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12Updated last year
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated 2 years ago
- ☆30Updated last month
- ☆71Updated last month
- Diamond iO implementation https://eprint.iacr.org/2025/236☆81Updated last month
- ☆38Updated last year
- RLN circuits in Circom☆32Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- Proving shortest paths with recursive SNARKs☆15Updated 2 years ago
- Aims to create various ZK verifiers on Starknet for network growth☆18Updated 4 months ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆27Updated last year
- zero knowledge proof aggregator for general circuit☆72Updated last year
- ☆21Updated last year
- Notes, code and documents done while reading books and papers.☆19Updated 2 weeks ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- A circuit to verify the voice recovery process.☆49Updated 2 years ago
- Security Camp 2023 L4 Resources☆48Updated 2 years ago
- Verifiable FHE with GKR☆26Updated last year