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 🐺.
  ☆248Updated last week
• AztecProtocol / dev-rel
  All of Aztec's workshops, resources, tutorials, ideas, and useful tools
  ☆61Updated this week
• AztecProtocol / awesome-aztec
  ☆80Updated 2 months 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.
  ☆139Updated 5 months ago
• AztecProtocol / barretenberg
  ☆188Updated last week
• privacy-ethereum / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆113Updated last year
• succinctlabs / op-succinct
  Succinct's Production-Grade Proving Engine for the OP Stack.
  ☆200Updated this week
• AztecProtocol / engineering-designs
  Internal engineering designs
  ☆12Updated 2 weeks ago
• risc0 / demos
  ☆61Updated 3 months ago
• TelahVC / awesome-fhe-blockchain
  A curated list of awesome Fully Homomorphic Encryption (FHE) x Blockchain resources, libraries, projects, and more.
  ☆61Updated last year
• starknet-edu / counter-workshop
  Code for Counter Workshop using latest Starknet syntax.
  ☆49Updated last year
• AztecProtocol / noir-starter
  ☆192Updated 6 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆124Updated last month
• zama-ai / relayer-sdk
  A dapp SDK for the FHEVM protocol.
  ☆60Updated last week
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆206Updated last week
• 0xPARC / plonkathon
  educational python plonk implementation, based on vitalik's py_plonk
  ☆220Updated last year
• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆181Updated last year
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆142Updated this week
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆142Updated last year
• yi-sun / circom-pairing
  ☆203Updated 2 years ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆199Updated last week
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆72Updated last week
• ProjectZKM / zkm
  zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
  ☆133Updated 8 months ago
• 0xPolygon / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆91Updated last year
• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆115Updated this week
• OpenZeppelin / openzeppelin-confidential-contracts
  Solidity library of encrypted contracts using Zama's FHEVM
  ☆128Updated this week
• matter-labs / era-zk_evm
  Out-of-circuit zkEVM implementation
  ☆80Updated last year
• 0xMiden / miden-base
  Core components of the Miden protocol
  ☆98Updated this week
• dl-solarity / hardhat-zkit
  The ultimate TypeScript environment for Circom development
  ☆94Updated 2 weeks ago