Deposit smart contract in Dafny
☆24Sep 9, 2021Updated 5 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verification of Smart Contracts with Dafny – FMICS paper examples☆11Feb 8, 2024Updated 2 years ago
- Eth2.0 spec in Dafny☆80Jun 24, 2024Updated 2 years ago
- Formalization of the Beacon Chain Phase 0 Specification in K☆21Sep 6, 2022Updated 4 years ago
- An EVM interpreter in Dafny☆141May 11, 2026Updated 5 months ago
- A benchmarking platform for Solidity fuzzers☆12Jun 24, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Draft of SSZ specs repo☆16Jun 16, 2020Updated 6 years ago
- An EVM bytecode disassembler/assembler☆57Dec 20, 2024Updated last year
- ☆11Dec 14, 2023Updated 2 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- ☆17Dec 23, 2023Updated 2 years ago
- A plugin for working with Aiken on Vim / NeoVim.☆15Dec 5, 2025Updated 11 months ago
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 11 months ago
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- ☆28Oct 29, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- Pi-calculus in Coq☆12Oct 18, 2020Updated 6 years ago
- A greener fuzzer benchmarking platform☆10Jun 2, 2023Updated 3 years ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 3 years ago
- Pending transaction stream in rust☆30May 31, 2021Updated 5 years ago
- ☆10May 17, 2024Updated 2 years ago
- ☆11Jul 16, 2023Updated 3 years ago
- Formal Verification for Ethereum☆10Oct 29, 2026Updated last week
- Oxorio team public security audits☆10Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 五十嵐淳『プログラミング言語の基礎概念』の Coq による実装☆11Oct 24, 2015Updated 11 years ago
- ☆12Jan 7, 2025Updated last year
- Crypto Bib is a BibTeX database containing papers related to Cryptography, with manually checked entries and uniform BibTeX data.☆12Nov 6, 2015Updated 11 years ago
- ☆16Dec 17, 2024Updated last year
- Public repo for ETH Escape CTF @ Devcon 2024: https://devcon.org/☆14Dec 11, 2024Updated last year
- EVM performance tests for a range of clients☆24Dec 27, 2019Updated 6 years ago
- Translate java jar files into Boogie programs☆12Apr 16, 2024Updated 2 years ago
- Probably Nothing☆12May 23, 2022Updated 4 years ago
- Code 4rena Sandbox & Exploits☆14Mar 1, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple example of how to implement, deploy, and test a Diamond contract which uses an NFT (ERC721) and Token (ERC20) facets. Note: Writ…☆14Jan 17, 2023Updated 3 years ago
- An EVM interpreter (wip)☆12Aug 29, 2021Updated 5 years ago
- ☆16Nov 19, 2025Updated 11 months ago
- The Provable Consensus Client — a formally verified Ethereum consensus client built with Lean 4.☆17Oct 29, 2026Updated last week
- rollup node experiments☆15Jan 25, 2022Updated 4 years ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Nov 10, 2023Updated 2 years ago
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆20Aug 26, 2020Updated 6 years ago