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
• 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.
  ☆140Updated 5 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆125Updated 2 months ago
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆249Updated 3 weeks ago
• OpenZeppelin / openzeppelin-confidential-contracts
  Solidity library of encrypted contracts using Zama's FHEVM
  ☆135Updated this week
• AztecProtocol / barretenberg
  ☆189Updated 3 weeks ago
• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆116Updated last week
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆146Updated 3 weeks ago
• risc0 / demos
  ☆61Updated 4 months ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆204Updated last week
• AztecProtocol / dev-rel
  All of Aztec's workshops, resources, tutorials, ideas, and useful tools
  ☆61Updated last week
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆142Updated last year
• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆181Updated last year
• succinctlabs / op-succinct
  Succinct's Production-Grade Proving Engine for the OP Stack.
  ☆204Updated this week
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆79Updated last month
• privacy-ethereum / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆113Updated last year
• AztecProtocol / awesome-aztec
  ☆80Updated 2 months ago
• TelahVC / awesome-fhe-blockchain
  A curated list of awesome Fully Homomorphic Encryption (FHE) x Blockchain resources, libraries, projects, and more.
  ☆63Updated last year
• 0xPolygon / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆91Updated last year
• yi-sun / circom-pairing
  ☆204Updated 2 years ago
• starknet-edu / counter-workshop
  Code for Counter Workshop using latest Starknet syntax.
  ☆49Updated last year
• 0xPARC / plonkathon
  educational python plonk implementation, based on vitalik's py_plonk
  ☆220Updated last year
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆144Updated this week
• AztecProtocol / noir-starter
  ☆192Updated 7 months ago
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆147Updated last year
• 0xMiden / miden-base
  Core components of the Miden protocol
  ☆99Updated this week
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆72Updated 3 weeks ago
• AztecProtocol / engineering-designs
  Internal engineering designs
  ☆12Updated last month
• EspressoSystems / HotShot
  ☆160Updated 10 months ago
• 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 month