zeroknowledgetutorials / leo-neural-networks
Neural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator
☆12Updated 6 months ago
Related projects: ⓘ
- Submission for https://www.zprize.io/prizes/accelerating-msm-operations-on-gpu-fpga☆19Updated last year
- AppliedZKP's zkEVM Documentation☆23Updated 2 months ago
- ☆13Updated this week
- 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆25Updated last year
- ☆28Updated last week
- building blocks for accelerating ZK proofs over binary fields☆36Updated last month
- Circuit infrastructure for Aztec 3.0☆12Updated last year
- ☆23Updated 8 months ago
- neural network inference standard for zero-knowledge-proof systems☆33Updated 11 months ago
- ☆33Updated last year
- ☆40Updated 5 months ago
- Email verification circuit in halo2☆62Updated 2 months ago
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆14Updated last year
- ☆22Updated 2 weeks ago
- ☆35Updated last year
- ☆48Updated 9 months ago
- ☆37Updated 11 months ago
- 1024 game playground☆14Updated 7 months ago
- Using folding schemes for a provable bitcoin light client☆28Updated 3 months ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated 9 months ago
- OS for next iteration of the world computer☆45Updated last year
- ☆34Updated this week
- ☆36Updated last year
- ☆13Updated last year
- ☆19Updated last month
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 5 months ago
- Cross-zk-rollup aggregation☆59Updated last year
- CurveZero - Fixed rate USD loan protocol☆41Updated 2 years ago
- halo2 ecc circuit☆110Updated last year
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆21Updated this week