informalsystems / auditsLinks
Security Audits by Informal Systems
☆19Updated this week
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 years ago
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Updated 2 years ago
- Know if a call is from an EOA no matter what☆35Updated 4 years ago
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated 2 years ago
- List of Squeeth Resources and Threads☆34Updated 3 years ago
- Solidity source debugger built around EthereumJS☆25Updated this week
- Creating a standard for whitehats☆29Updated 2 years ago
- A test repository for Forge coverage☆35Updated 2 years ago
- Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)☆17Updated last year
- Introduction to core development via CTF challenges☆40Updated 3 years ago
- ☆27Updated 2 years ago
- ☆15Updated last year
- It provides helper functions to test the maple-core contracts.☆25Updated 2 years ago
- Solidity error logging☆23Updated 4 years ago
- ☆22Updated last month
- ☆34Updated 3 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆39Updated 2 years ago
- A smart contract development toolchain for Go☆34Updated last month
- A flashloan module for Gnosis Safe.☆45Updated 4 years ago
- ☆37Updated 3 years ago
- ☆41Updated 5 years ago
- ☆33Updated 2 years ago
- optimistic fork of the Flashbot's mev-boost relay☆35Updated last week
- 😵💫 A Recurrent Neural Network (RNN) hallucinating solidity source code.☆42Updated 3 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- a rust SDK for the gelato relay, using ethers-rs☆31Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago