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
- ☆19Updated 2 years ago
- RSA verification circuit using halo2 library.☆57Updated 2 years ago
- Plasma Next☆35Updated last year
- ☆17Updated 5 months ago
- Circom ASN.1 Parser☆20Updated last year
- Zero Knowledge Provable JSON☆50Updated last month
- ☆11Updated 2 years ago
- ☆22Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆27Updated last year
- ☆21Updated 7 months ago
- WebGPU MSM implementation☆17Updated last week
- Very fast and memory-efficient (but not succinct) ZK through VOLE in the Head. Contains adapter for load Circom-formatted circuits and wi…☆33Updated 3 months ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆17Updated 5 years ago
- ☆20Updated last year
- ☆29Updated 3 weeks ago
- ☆26Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆81Updated last week
- ☆38Updated last year
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆53Updated last month
- Aims to create various ZK verifiers on Starknet for network growth☆18Updated 3 months ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated 2 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Updated 2 years ago
- ☆41Updated last year
- Library built from scratch to implement zk-protocols☆12Updated last year
- A circuit to verify the voice recovery process.☆49Updated 2 years ago
- ☆17Updated last year
- ☆51Updated last year
- Experimental implementation of Sumcheck protocol using CUDA☆19Updated 10 months ago