NillionNetwork / nada-by-exampleLinks
Learn the Nada language by working with example Nada programs
☆12Updated 7 months ago
Alternatives and similar repositories for nada-by-example
Users that are interested in nada-by-example are comparing it to the libraries listed below
Sorting:
- Nada-Numpy is a Python library designed for algebraic operations on NumPy-like array objects on top of Nada DSL and Nillion Network.☆12Updated 7 months ago
- Nada-AI is a Python library designed for ML/AI on top of Nada DSL and Nillion Network.☆22Updated 7 months ago
- Minimal pure-Python implementation of a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressio…☆67Updated 8 months ago
- Nillion technical reports☆23Updated last month
- Pure-Python implementation of a threshold ecdsa signature scheme based on a secure multi-party computation (MPC) protocol for evaluating …☆29Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆154Updated this week
- Accelerate Early Stage Programmable Cryptography Talents☆110Updated 9 months ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆202Updated 3 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆42Updated last month
- ☆107Updated last year
- Experimental folding schemes library☆241Updated 2 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆59Updated 7 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 6 months ago
- ☆76Updated 5 months ago
- Circom Circuits Library for Machine Learning☆176Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- ☆99Updated 10 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆236Updated this week
- Prototype implementations of various Collaborative zkSNARKs.☆124Updated 3 weeks ago
- A lattice-based non-interactive folding scheme written in Rust☆80Updated last week
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆49Updated 3 weeks ago
- Benchmark of multiple zk implementations.☆83Updated last year
- A collection of awesome Miden links, resources and shiny things.☆16Updated 2 weeks ago
- Minimal pure-Python library that implements a basic version of a secure decentralized biometric authentication functionality via a secure…☆13Updated last year
- ☆127Updated 6 months ago
- Circom interpreter to arithmetic circuit description☆55Updated 9 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 6 months ago
- ☆199Updated last year
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆22Updated this week