zeroknowledgetutorials / leo-neural-networksLinks
Neural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator
☆13Updated last year
Alternatives and similar repositories for leo-neural-networks
Users that are interested in leo-neural-networks are comparing it to the libraries listed below
Sorting:
- halo2 ecc circuit☆116Updated 2 years ago
- Submission for https://www.zprize.io/prizes/accelerating-msm-operations-on-gpu-fpga☆20Updated 2 years ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Updated 3 months ago
- ☆75Updated 2 years ago
- Minimal example for using snarkjs in react☆43Updated 3 years ago
- ☆23Updated 2 years ago
- ☆93Updated 4 years ago
- ☆61Updated last month
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆145Updated last week
- ☆105Updated 5 months ago
- 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆27Updated 2 years ago
- ☆56Updated 2 years ago
- A Cairo contract to play chess in Starknet.☆38Updated 3 years ago
- BitVM Groth16 Verifier Toolkit - WIP☆80Updated last year
- Circuit infrastructure for Aztec 3.0☆14Updated 2 years ago
- Demo of ML for MNIST classification in a zero knowledge proof☆126Updated 3 years ago
- Cairo / Starknet files for the Briq protocol and the Briq builder☆65Updated last year
- Run leo from python☆40Updated 2 years ago
- zkevm-chain: Deprecated☆89Updated 2 years ago
- Resources for building programs on Aleo from ZKCamp's Course (Oct 2023)☆41Updated 2 years ago
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆46Updated 2 years ago
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆117Updated last year
- Celestia -> EVM bridge☆137Updated 3 weeks ago
- An onchain game which explores different ZK game mechanics and information asymmetry☆96Updated 2 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- ☆12Updated last year
- Stylus VM and Fraud Prover☆119Updated last year
- Succinct's Production-Grade Proving Engine for the OP Stack.☆207Updated this week
- ☆155Updated last year
- AppliedZKP's zkEVM Documentation☆26Updated last year