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:
- A smart contract development toolchain for Go☆34Updated 3 months ago
- ☆34Updated 3 years ago
- ☆22Updated 4 months ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆27Updated 2 years ago
- Tendermint in Solidity☆61Updated 3 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
- A test repository for Forge coverage☆35Updated 2 years ago
- Creating a standard for whitehats☆29Updated 2 years ago
- Bitcoin Mirror is a bitcoin light client that runs on ethereum.☆69Updated 3 years ago
- Prove knowledge of smart contract bugs using zkEVM☆43Updated last year
- ☆41Updated 5 years ago
- Slow burner for protocol assets.☆33Updated 2 years ago
- ☆15Updated last year
- Smart contracts for the Telepathy protocol☆79Updated last year
- To be deprecated in favor of https://github.com/flashbots/builder☆46Updated 2 years ago
- Decentralized Summation System☆45Updated 3 years ago
- Know if a call is from an EOA no matter what☆33Updated 4 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Introduction to core development via CTF challenges☆41Updated 3 years ago
- ☆33Updated 2 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 6 years ago
- Skip's protocol-owned MEV builder implementation☆54Updated 11 months ago
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆20Updated last year
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Splitting seed phrases into shares☆64Updated 3 years ago
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- Library for common cairo functions☆37Updated 3 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- List of Squeeth Resources and Threads☆34Updated 3 years ago