Consensys/deposit-sc-dafny external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Consensys/deposit-sc-dafny

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Consensys/deposit-sc-dafny)

Close

Consensys / deposit-sc-dafnyView on GitHubMore

• External links
• Readme badge

Deposit smart contract in Dafny

☆22Sep 9, 2021Updated 4 years ago

Alternatives and similar repositories for deposit-sc-dafny

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

• Consensys / eth2.0-dafny

  View on GitHub
  Eth2.0 spec in Dafny
  ☆80Jun 24, 2024Updated last year
• runtimeverification / beacon-chain-spec

  View on GitHub
  Formalization of the Beacon Chain Phase 0 Specification in K
  ☆21Sep 6, 2022Updated 3 years ago
• protolambda / eth2.0-ssz

  View on GitHub
  Draft of SSZ specs repo
  ☆16Jun 16, 2020Updated 5 years ago
• Practical-Formal-Methods / bran

  View on GitHub
  Static analysis framework for EVM bytecode
  ☆31Jan 29, 2020Updated 6 years ago
• Consensys / evm-dafny

  View on GitHub
  An EVM interpreter in Dafny
  ☆135Oct 24, 2024Updated last year
• argumentcomputer / FFaCiL.lean

  View on GitHub
  Finite Fields and Curves in Lean
  ☆14Apr 6, 2023Updated 2 years ago
• CodeForcer / rust-pending-stream

  View on GitHub
  Pending transaction stream in rust
  ☆27May 31, 2021Updated 4 years ago
• rkirov / category-theory-in-context-lean

  View on GitHub
  Lean Companion to the Category Theory in Context textbook by Emily Riehl
  ☆29Nov 28, 2025Updated 3 months ago
• ctf-mt / eth-escape-ctf-2024

  View on GitHub
  Public repo for ETH Escape CTF @ Devcon 2024: https://devcon.org/
  ☆13Dec 11, 2024Updated last year
• EchoAlice / das-playground

  View on GitHub
  Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay
  ☆16May 5, 2023Updated 2 years ago
• soundiness / soundiness.github.io

  View on GitHub
  ☆12Jan 7, 2025Updated last year
• NethermindEth / Yul-Specification

  View on GitHub
  A formal specification of the Yul IR semantics in the Lean proof assistant.
  ☆14Jun 20, 2025Updated 9 months ago
• refcell / c4box

  View on GitHub
  Code 4rena Sandbox & Exploits
  ☆14Mar 1, 2022Updated 4 years ago
• gcolvin / evm-drag-race

  View on GitHub
  EVM performance tests for a range of clients
  ☆24Dec 27, 2019Updated 6 years ago
• ethpandaops / goomy-blob

  View on GitHub
  ☆16Dec 17, 2024Updated last year
• ControlCplusControlV / Sushi-Sway

  View on GitHub
  Probably Nothing
  ☆12May 23, 2022Updated 3 years ago
• starkware-libs / formal-proofs

  View on GitHub
  ☆67Oct 31, 2024Updated last year
• backtracking / program-proofs-with-why3

  View on GitHub
  Some programs from Rustan Leino's "Program Proofs", in Why3.
  ☆16Mar 13, 2023Updated 3 years ago
• boogie-org / jar2bpl

  View on GitHub
  Translate java jar files into Boogie programs
  ☆12Apr 16, 2024Updated last year
• dnl-rss / secureum-slot4-security-pitfalls-101

  View on GitHub
  ☆11Jul 16, 2023Updated 2 years ago
• contract-ace / smartace

  View on GitHub
  ☆17Jan 13, 2022Updated 4 years ago
• alcueca / awesome-oracles

  View on GitHub
  Common Oracle Specification and Adaptors
  ☆14Sep 18, 2024Updated last year
• Consensys / corset

  View on GitHub
  ☆21Dec 1, 2025Updated 3 months ago
• eth-act / zkevm-benchmark-workload

  View on GitHub
  zkVM benchmarking for Ethereum
  ☆42Mar 13, 2026Updated last week
• risc0 / risc0-lean4

  View on GitHub
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆77Feb 14, 2023Updated 3 years ago
• protolambda / rollup-node-experiments

  View on GitHub
  rollup node experiments
  ☆15Jan 25, 2022Updated 4 years ago
• Practical-Formal-Methods / DeepSearch

  View on GitHub
  Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"
  ☆13Aug 27, 2020Updated 5 years ago
• Japan-DfinityInfoHub / docs

  View on GitHub
  (Unofficial) Japanese translation of Dfinity documentation : (非公式) Dfinity ドキュメントの日本語翻訳
  ☆13Oct 6, 2022Updated 3 years ago
• lightclient / evm

  View on GitHub
  An EVM interpreter (wip)
  ☆12Aug 29, 2021Updated 4 years ago
• leonardoalt / hevm_paper

  View on GitHub
  ☆12Dec 3, 2021Updated 4 years ago
• maldiohead / web3attack

  View on GitHub
  ☆12Dec 18, 2023Updated 2 years ago
• dionyziz / ting

  View on GitHub
  A chat system
  ☆18Mar 17, 2018Updated 8 years ago
• gtklocker / security-class

  View on GitHub
  ☆16Nov 4, 2019Updated 6 years ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy

  View on GitHub
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆15Nov 10, 2023Updated 2 years ago
• noahfigueras / uniswap-v3-getPrice

  View on GitHub
  Solidity contracts to get Price of Token from Uniswap v3 pool
  ☆12Jul 9, 2021Updated 4 years ago
• madlabman / eip-4788-proof

  View on GitHub
  EIP-4788 proofs verification
  ☆14Feb 6, 2024Updated 2 years ago
• jku-ssw / gcc-builtin-study

  View on GitHub
  ☆12Jul 3, 2019Updated 6 years ago
• argotorg / yul-isabelle

  View on GitHub
  ☆41Nov 21, 2022Updated 3 years ago
• odyslam / dotfiles

  View on GitHub
  An opinionated collection of dotfiles, mainly for development on Rust and Solidity. Uses nvim, coc, rust-analyzer, tmux and Foundry.
  ☆12May 7, 2022Updated 3 years ago