DCMMC / ZKFixedPointChipLinks
ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2
☆20Updated last year
Alternatives and similar repositories for ZKFixedPointChip
Users that are interested in ZKFixedPointChip are comparing it to the libraries listed below
Sorting:
- ☆40Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- Base64 decoding circuit in halo2☆14Updated last year
- ☆26Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆48Updated last year
- Extractable Witness Encryption for KZG Commitments☆29Updated 6 months ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- ☆33Updated last year
- ☆50Updated last year
- polynomial commitments from linear codes☆44Updated 5 months ago
- RLN on KZG☆20Updated last year
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated last year
- STARK book☆20Updated 8 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- Benchmarking Polynomial Commitments☆49Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated 2 years ago
- ☆42Updated 10 months ago
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- Halo2 Merkle tree circuits☆32Updated 4 years ago
- Plonkish Nova implementation along with advanced features☆16Updated last year
- Frobenius sumcheck for vectorized boolean ops☆53Updated last month
- Draft documents for standardization of Plonkish arithmetization☆23Updated last year
- 🪩 verify plonky3 proofs in plonky2☆18Updated last year
- zero knowledge proof aggregator for general circuit☆72Updated last year
- A Rust library for proof-carrying disclosures☆20Updated last year
- ☆28Updated 2 years ago
- Notes, code and documents done while reading books and papers.☆19Updated 2 months ago