Alternatives and similar repositories for nada-by-example

Users that are interested in nada-by-example are comparing it to the libraries listed below

• NillionNetwork / nada-numpy
  Nada-Numpy is a Python library designed for algebraic operations on NumPy-like array objects on top of Nada DSL and Nillion Network.
  ☆12Updated 6 months ago
• NillionNetwork / nada-ai
  Nada-AI is a Python library designed for ML/AI on top of Nada DSL and Nillion Network.
  ☆22Updated 6 months ago
• NillionNetwork / nillionnetwork.github.io
  Nillion technical reports
  ☆23Updated 3 weeks ago
• NillionNetwork / tinynmc
  Minimal pure-Python implementation of a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressio…
  ☆67Updated 7 months ago
• NillionNetwork / tinysig
  Pure-Python implementation of a threshold ecdsa signature scheme based on a secure multi-party computation (MPC) protocol for evaluating …
  ☆28Updated last year
• NillionNetwork / tinybio
  Minimal pure-Python library that implements a basic version of a secure decentralized biometric authentication functionality via a secure…
  ☆13Updated last year
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆150Updated this week
• NillionNetwork / nildb
  nilDB is the Nillion blind module that supports the SecretVault & SecretDataAnalytics SDKs.
  ☆14Updated this week
• NillionNetwork / nillion-docs
  Nillion documentation
  ☆33Updated last week
• privacy-scaling-explorations / sonobe
  Experimental folding schemes library
  ☆239Updated last month
• EspressoSystems / HotShot
  ☆140Updated 3 months ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆124Updated this week
• AztecProtocol / barretenberg
  ☆170Updated 2 weeks ago
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆91Updated 2 months ago
• privacy-scaling-explorations / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆110Updated 8 months ago
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆209Updated last year
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆235Updated this week
• hash-based-snargs-book / hash-based-snargs-book
  Source code for "Building Cryptographic Proofs from Hash Functions"
  ☆201Updated 2 months ago
• AztecProtocol / engineering-designs
  Internal engineering designs
  ☆12Updated this week
• yi-sun / circom-pairing
  ☆199Updated last year
• EspressoSystems / hyperplonk
  ☆266Updated last month
• EspressoSystems / espresso-network
  ☆131Updated this week
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆138Updated last year
• privacy-scaling-explorations / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆259Updated this week
• Sin7Y / olavm
  A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
  ☆164Updated 3 months ago
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆163Updated last year
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆113Updated last year
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆101Updated 6 months ago
• privacy-scaling-explorations / halo2
  ☆225Updated this week
• privacy-scaling-explorations / greco
  ☆76Updated 5 months ago