Alternatives and similar repositories for nada-ai

Users that are interested in nada-ai 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 last year
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆251Updated last week
• NillionNetwork / tinynmc
  Minimal pure-Python implementation of a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressio…
  ☆66Updated last year
• risc0 / demos
  ☆61Updated 3 weeks ago
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆143Updated last week
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆131Updated this week
• succinctlabs / op-succinct
  Succinct's Production-Grade Proving Engine for the OP Stack.
  ☆207Updated last week
• AztecProtocol / awesome-aztec
  ☆81Updated 2 weeks ago
• ProjectZKM / zkm
  zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
  ☆134Updated 9 months ago
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆144Updated last year
• TelahVC / awesome-fhe-blockchain
  A curated list of awesome Fully Homomorphic Encryption (FHE) x Blockchain resources, libraries, projects, and more.
  ☆63Updated last year
• AztecProtocol / barretenberg
  ☆194Updated 2 months ago
• Sin7Y / olavm
  A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
  ☆163Updated 11 months ago
• AztecProtocol / dev-rel
  All of Aztec's workshops, resources, tutorials, ideas, and useful tools
  ☆63Updated last week
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆214Updated last week
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆97Updated 3 months ago
• EspressoSystems / HotShot
  ☆161Updated 11 months ago
• starkware-libs / stone-prover
  ☆266Updated last year
• polymerdao / plonky2-solidity-verifier
  ☆80Updated 11 months ago
• PolyhedraZK / Expander
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆141Updated this week
• zkemail / zk-regex
  A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…
  ☆102Updated last week
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆210Updated 2 weeks ago
• AztecProtocol / engineering-designs
  Internal engineering designs
  ☆12Updated last week
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆148Updated this week
• dpinones / starklings-app
  ☆44Updated 9 months ago
• openvm-org / openvm
  A performant and modular zkVM framework built for customization and extensibility.
  ☆306Updated this week
• NillionNetwork / tinysig
  Pure-Python implementation of a threshold ecdsa signature scheme based on a secure multi-party computation (MPC) protocol for evaluating …
  ☆30Updated last year
• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆118Updated this week
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆150Updated 2 weeks ago
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆86Updated this week