Alternatives and similar repositories for deposit-sc-dafny

Users that are interested in deposit-sc-dafny are comparing it to the libraries listed below

• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 8 months ago
• ethereum / yul-isabelle
  ☆41Updated 2 years ago
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆13Updated this week
• Certora / CertoraProverSupplementary
  Supplementary Material to be used with the Certora Prover
  ☆17Updated 3 years ago
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆64Updated last week
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆56Updated last month
• aviggiano / fuzzer-evaluation
  Evaluating fuzzer effectiveness
  ☆21Updated last year
• runtimeverification / kontrol
  ☆74Updated this week
• Certora / Documentation
  ☆17Updated this week
• verifereum / verifereum
  Prove functional correctness of Ethereum smart contracts in higher-order logic
  ☆26Updated this week
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• ZK-Hack / puzzle-gamma-ray
  ☆21Updated last year
• noir-lang / noirup
  Installation tooling for Noir
  ☆25Updated 2 months ago
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆22Updated last year
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• Veridise / Coda
  ☆47Updated last year
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆25Updated 3 weeks ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 3 years ago
• alexroan / chuff
  Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language
  ☆32Updated 2 years ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 11 months ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆37Updated last week
• runtimeverification / kontrol-demo
  Foundry blog posts' executable demos
  ☆13Updated 2 weeks ago
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• Consensys / corset
  ☆19Updated last month
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆128Updated 6 months ago
• leonardoalt / sol-macros
  ☆31Updated 2 years ago
• meoawtistic / ruff
  ☆37Updated 2 years ago
• mattsse / cairo-lang-rs
  ☆40Updated 3 years ago
• gubsheep / Setup
  trusted setup MPC tools
  ☆12Updated 5 years ago