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 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for leo-neural-networks
- CurveZero - Fixed rate USD loan protocol☆41Updated 2 years ago
- ☆23Updated 10 months ago
- Configurable Asset Privacy☆33Updated 10 months ago
- ☆49Updated last year
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆14Updated last year
- halo2 ecc circuit☆114Updated last year
- Submission for https://www.zprize.io/prizes/accelerating-msm-operations-on-gpu-fpga☆20Updated last year
- ☆48Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆40Updated 11 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- Sindri Zero-Knowledge Proof CLI☆16Updated this week
- Cairo / Starknet files for the Briq protocol and the Briq builder☆65Updated 6 months ago
- A Cairo contract to play chess in Starknet.☆38Updated last year
- AppliedZKP's zkEVM Documentation☆23Updated 4 months ago
- ☆17Updated 4 months ago
- ☆34Updated last year
- ☆36Updated 2 years ago
- ☆13Updated last year
- Circuit infrastructure for Aztec 3.0☆12Updated last year
- ☆71Updated 8 months ago
- Template repository for zkLLVM-based projects☆19Updated 8 months ago
- Minimal example for using snarkjs in react☆42Updated 2 years ago
- zkEVM proof generator reference written in Javascript☆77Updated last week
- ☆9Updated last year
- Cross-zk-rollup aggregation☆59Updated last year
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆44Updated last year
- ☆19Updated 3 months ago
- ☆41Updated last year
- Cross chain shielded pool infrastructure / protocols.☆35Updated 3 months ago