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 5 months ago
• NillionNetwork / nillionnetwork.github.io
  Nillion technical reports
  ☆23Updated 2 months ago
• NillionNetwork / tinynmc
  Minimal pure-Python implementation of a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressio…
  ☆66Updated 6 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
• AztecProtocol / aztec-starter
  A simple aztec contract + test to get started.
  ☆41Updated last week
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆137Updated 11 months ago
• AztecProtocol / dev-rel
  All of Aztec's workshops, resources, tutorials, ideas, and useful tools
  ☆57Updated this week
• AztecProtocol / awesome-aztec
  ☆53Updated last week
• yetanotherco / zero-to-aligned
  A curated list of resources to become aligned 🟩
  ☆17Updated 11 months ago
• primus-labs / awesome-izk
  Created for Web3 builders
  ☆32Updated 2 years ago
• risc0 / demos
  ☆57Updated 5 months ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆140Updated this week
• matter-labs / era-zk_evm
  Out-of-circuit zkEVM implementation
  ☆80Updated 8 months ago
• succinctlabs / op-succinct
  Succinct's Production-Grade Proving Engine for the OP Stack
  ☆155Updated this week
• 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.
  ☆98Updated last week
• EspressoSystems / espresso-network
  ☆125Updated this week
• initia-labs / minievm
  Interwoven Rollup with EVM
  ☆38Updated this week
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆88Updated last month
• ZKCamp / aleo-course
  Resources for building programs on Aleo from ZKCamp's Course (Oct 2023)
  ☆41Updated last year
• ritual-net / infernet-sdk
  Bringing off-chain compute workloads to on-chain smart contracts.
  ☆92Updated 5 months ago
• risc0 / risc0-foundry-template
  Template for integrating RISC Zero and Ethereum using Foundry
  ☆125Updated 3 weeks ago
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆112Updated last year
• gizatechxyz / Giza-Hub
  Curated list of ZKML models and use cases made with Giza
  ☆48Updated 10 months ago
• NillionNetwork / nada-by-example
  Learn the Nada language by working with example Nada programs
  ☆12Updated 5 months ago
• fluentlabs-xyz / fluentbase
  A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
  ☆74Updated this week
• polymerdao / plonky2-solidity-verifier
  ☆79Updated 2 months ago
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆157Updated last week
• Layr-Labs / eigensdk-go
  Go SDK for building AVSs on Eigenlayer
  ☆73Updated this week
• PolyhedraZK / Expander
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆106Updated this week
• EspressoSystems / HotShot
  ☆142Updated 2 months ago