Alternatives and similar repositories for dasy

Users that are interested in dasy are comparing it to the libraries listed below

• dasylang / dasy
  a lisp built on top of vyper
  ☆50Updated 5 months ago
• sambarnes / cairo-bloom
  A naive bloom filter implementation in Cairo
  ☆37Updated 3 years ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• vezenovm / simple_shield
  Basic Noir private proof of membership
  ☆90Updated 8 months ago
• 0xMacro / trim
  An opcode-oriented language that compiles to the EVM
  ☆74Updated 8 months ago
• a16z / halmos-cheatcodes
  ☆70Updated 6 months ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 3 years ago
• ethdos / ethdosnumber
  ZK Erdos Numbers using recursive SNARKs
  ☆79Updated 3 years ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆44Updated last year
• refcell / optimism-rs
  Scaling Ethereum, but this time in rust.
  ☆90Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 2 years ago
• verklegarden / crysol
  secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations
  ☆61Updated 3 months ago
• AmadiMichael / Zyclone
  2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
  ☆82Updated 2 years ago
• jtriley2p / ether-deck
  ☆99Updated 2 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• leonardoalt / fusion
  An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…
  ☆117Updated last year
• Th0rgal / sphinx
  A collection of fun things you can do in Cairo. Pass storage variable as parameters, do functional programming with fold_left or manipula…
  ☆27Updated 3 years ago
• ScopeLift / l2-optimizoooors
  Gas efficient routers for L2 applications
  ☆115Updated 3 years ago
• jsign / zig-stealth-addresses
  A Zig implementation of Ethereum stealth addresses (ERC-5564)
  ☆34Updated last year
• brockelmore / graphstack
  ☆55Updated 3 years ago
• cairoeth / rustmate
  🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.
  ☆52Updated last year
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated 2 years ago
• Maddiaa0 / governor-of-athens
  Governor of Athens: A protocol to enable private governance on existing governor bravo contracts by leveraging Aztec's Defi Batching
  ☆86Updated 3 years ago
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆75Updated last year
• kevinz917 / zksnarks-library
  Library of zkSNARKS circuits written in the Circom language.
  ☆50Updated 3 years ago
• 0xClandestine / RemcoMath
  RemcoMathLib is a Gas optimized FullMath implementation inspired by Remco Bloemen.
  ☆31Updated 3 years ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 3 years ago
• colinnielsen / dark-safe
  Like Safe... but secret 🥷🏽
  ☆63Updated 10 months ago
• moodlezoup / huffidity-poc
  ☆63Updated 2 years ago
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆70Updated 2 weeks ago