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 6 months ago
• AztecProtocol / engineering-designs
  Internal engineering designs
  ☆12Updated this week
• AztecProtocol / dev-rel
  All of Aztec's workshops, resources, tutorials, ideas, and useful tools
  ☆60Updated this week
• NillionNetwork / nillionnetwork.github.io
  Nillion technical reports
  ☆23Updated 3 weeks ago
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆138Updated last year
• 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
• 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.
  ☆112Updated this week
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆150Updated this week
• risc0 / demos
  ☆59Updated 6 months ago
• Layr-Labs / eigensdk-go
  Go SDK for building AVSs on Eigenlayer
  ☆76Updated this week
• fluentlabs-xyz / fluent
  General purpose Blended Execution layer
  ☆52Updated last week
• ritual-net / infernet-sdk
  Bringing off-chain compute workloads to on-chain smart contracts.
  ☆92Updated 6 months ago
• Eclipse-Laboratories-Inc / zk-bpf
  zero-knowledge execution of eBPF bytecode
  ☆90Updated last year
• ora-io / OAO
  OAO (onchain AI oracle), powered by opML (optimistic machine learning) on Ethereum, brings ML model onchain.
  ☆37Updated last month
• 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
• primus-labs / awesome-izk
  Created for Web3 builders
  ☆32Updated 2 years ago
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆91Updated 2 months ago
• hyli-org / hyli
  The new proof-powered L1 to build the next generation of apps.
  ☆57Updated this week
• 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
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆123Updated this week
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆95Updated this week
• AztecProtocol / awesome-aztec
  ☆64Updated last week
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆235Updated this week
• ZKCamp / aleo-course
  Resources for building programs on Aleo from ZKCamp's Course (Oct 2023)
  ☆41Updated last year
• polymerdao / plonky2-solidity-verifier
  ☆79Updated 3 months ago
• AnomalyFi / nodekit-seq
  NodeKit SEQ is a Shared Sequencer Subnet
  ☆20Updated 3 months ago
• chainwayxyz / bitvm-zk-verifier
  BitVM Groth16 Verifier Toolkit - WIP
  ☆77Updated 10 months ago
• SeismicSystems / prototypes
  ☆40Updated 3 months ago
• 0xMiden / miden-base
  Core components of the Miden protocol
  ☆80Updated this week
• matter-labs / era-zk_evm
  Out-of-circuit zkEVM implementation
  ☆80Updated 9 months ago