ethereum / act
Smart contract specification language
☆215Updated this week
Related projects: ⓘ
- symbolic EVM evaluator☆227Updated this week
- Overview of the formal verification projects in the Ethereum ecosystem.☆317Updated 9 months ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆163Updated 2 years ago
- An EVM interpreter in Dafny☆124Updated last month
- Using mutations to improve specs and test suites☆164Updated 2 weeks ago
- Mutation Testing for Ethereum Smart Contracts☆202Updated 10 months ago
- Tools for Yul.☆138Updated last year
- Scribble instrumentation tool☆313Updated 3 weeks ago
- K framework proof explorer & smart contract specification format☆124Updated 3 years ago
- Practical tutorials of Certora Prover☆229Updated 11 months ago
- ☆107Updated last month
- This is solc-verify, a modular verifier for Solidity.☆50Updated last year
- Eth2.0 spec in Dafny☆72Updated 2 months ago
- Abstraction layer for smart contract build systems☆149Updated last week
- Repository for Huff - an EVM programming language☆232Updated 4 years ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆226Updated 2 months ago
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…☆124Updated this week
- Playing with zero-knowledge proof languages☆105Updated last year
- Evm laboratory☆236Updated last month
- ➕ A low-level, highly efficient extension to Yul, an intermediate language for the Ethereum Virtual Machine.☆173Updated 2 years ago
- Website for the Underhanded Solidity Contest☆162Updated last month
- Publications of Runtime Verification, Inc.☆87Updated 2 weeks ago
- evm inception: the evm inside the evm via yul and solidity☆228Updated last year
- K Semantics of the Ethereum Virtual Machine (EVM)☆506Updated this week
- Symbolic execution engine written in Solidity, based on Difference Logic.☆108Updated last year
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆203Updated last year
- A low level assembly language for the Ethereum Virtual Machine☆261Updated 2 years ago
- Executable formal model of the EVM and Yul in Lean 4.☆30Updated this week
- evm toolkit☆355Updated 3 months ago
- Materials related to security: docs, checklists, processes, etc...☆199Updated last week