informalsystems / auditsLinks
Security Audits by Informal Systems
☆19Updated last month
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- ☆34Updated 3 years ago
- ☆40Updated 5 years ago
- ☆19Updated 3 years ago
- Introduction to core development via CTF challenges☆41Updated 3 years ago
- Slow burner for protocol assets.☆33Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 3 years ago
- Bitcoin Mirror is a bitcoin light client that runs on ethereum.☆69Updated 3 years ago
- Creating a standard for whitehats☆29Updated 3 years ago
- ☆27Updated 2 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 4 years ago
- etk-Foundry project template☆21Updated 2 years ago
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated 2 years ago
- ☆46Updated 4 years ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated 2 years ago
- ☆37Updated 3 years ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆40Updated 2 weeks ago
- Know if a call is from an EOA no matter what☆33Updated 4 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆28Updated 2 years ago
- ☆34Updated 2 years ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated last year
- A smart contract development toolchain for Go☆34Updated 5 months ago
- ☆23Updated 5 months ago
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 3 years ago
- ☆15Updated last year
- EVM Toolkit language support for Visual Studio Code☆18Updated 3 years ago
- Prove knowledge of smart contract bugs using zkEVM☆43Updated last year
- An implementation of the Rift Protocol in Solidity☆15Updated 3 years ago