NillionNetwork / nada-by-example
Learn the Nada language by working with example Nada programs
☆11Updated this week
Related projects ⓘ
Alternatives and complementary repositories for nada-by-example
- Nillion technical reports☆19Updated 4 months ago
- Nada-AI is a Python library designed for ML/AI on top of Nada DSL and Nillion Network.☆16Updated this week
- Pure-Python implementation of a threshold ecdsa signature scheme based on a secure multi-party computation (MPC) protocol for evaluating …☆25Updated 7 months ago
- Minimal pure-Python implementation of a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressio…☆60Updated last month
- Accelerate Early Stage Programmable Cryptography Talents☆100Updated last month
- Source code for "Building Cryptographic Proofs from Hash Functions"☆163Updated 2 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆206Updated 2 weeks ago
- Experimental folding schemes library☆204Updated this week
- A curated list of zero-knowledge folding schemes☆283Updated 3 months ago
- ☆249Updated this week
- ☆192Updated 11 months ago
- Circom Circuits Library for Machine Learning☆166Updated 5 months ago
- ☆260Updated 2 months ago
- A STARK-based VM focused on code reuse, performance, and modularity☆292Updated 4 months ago
- educational python plonk implementation, based on vitalik's py_plonk☆194Updated 4 months ago
- Multi-party computation libraries written in Rust 🦀☆211Updated last week
- List of halo2-related resources☆188Updated 9 months ago
- ☆173Updated 3 weeks ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 8 months ago
- DSL for Halo2 circuits☆188Updated 2 weeks ago
- Prototype implementations of various Collaborative zkSNARKs.☆111Updated 8 months ago
- A pure Rust PLONK implementation using arkworks as a backend.☆295Updated last year
- ☆86Updated 2 weeks ago
- ☆193Updated 2 weeks ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆129Updated last month
- A repo for our research papers☆206Updated this week
- A Solidity library for interacting with fhEVM.☆411Updated this week
- ☆71Updated 3 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆203Updated 11 months ago
- Technical documentation of the zkEVM☆88Updated 5 months ago