NillionNetwork / nada-by-exampleLinks
Learn the Nada language by working with example Nada programs
☆12Updated 10 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 10 months ago
- A Solidity library for interacting with fhevm.☆498Updated 4 months ago
- Nillion technical reports☆23Updated 2 weeks ago
- A curated list of amazing Fully Homomorphic Encryption (FHE) resources created by the team at Zama.☆385Updated 2 weeks ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆213Updated 3 months ago
- Nada-AI is a Python library designed for ML/AI on top of Nada DSL and Nillion Network.☆22Updated 10 months ago
- Threshold MPC protocols for FHE☆49Updated 2 months ago
- Minimal pure-Python implementation of a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressio…☆66Updated 11 months ago
- Experimental folding schemes library☆253Updated this week
- Pure-Python implementation of a threshold ecdsa signature scheme based on a secure multi-party computation (MPC) protocol for evaluating …☆29Updated last year
- Prototype implementations of various Collaborative zkSNARKs.☆131Updated 4 months ago
- Minimal pure-Python library that implements a basic version of a secure decentralized biometric authentication functionality via a secure…☆13Updated last year
- A curated list of zero-knowledge folding schemes☆301Updated last year
- ☆180Updated 4 months ago
- A STARK-based VM focused on code reuse, performance, and modularity☆334Updated 2 months ago
- Nillion documentation☆44Updated last week
- ☆231Updated 3 months ago
- A pure Rust PLONK implementation using arkworks as a backend.☆309Updated 2 years ago
- A toolkit for polynomial IOPs (PIOPs)☆687Updated last week
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆181Updated this week
- A dapp SDK for the FHEVM protocol.☆51Updated last week
- A hardware acceleration library for compute intensive cryptography☆453Updated 2 months ago
- Multi-party computation libraries written in Rust 🦀☆277Updated last week
- A curated list of awesome things related to plonk proof system☆236Updated last year
- Monorepo of halo2 crates☆292Updated last month
- A Rust Implementation of the PLONK ZKP System and Extensions☆485Updated this week
- Zero-Knowledge Proof Systems Circuit Compiler☆318Updated 8 months ago
- Circom Circuits Library for Machine Learning☆179Updated last year
- A repo for our research papers☆235Updated 4 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆132Updated 3 weeks ago