informalsystems / auditsLinks
Security Audits by Informal Systems
☆20Updated 2 months ago
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- ☆34Updated 4 years ago
- Introduction to core development via CTF challenges☆41Updated 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
- ☆40Updated 5 years ago
- ☆46Updated 4 years ago
- Know if a call is from an EOA no matter what☆33Updated 4 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 3 years ago
- ☆27Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 3 years ago
- a rust SDK for the gelato relay, using ethers-rs☆32Updated 3 years ago
- Bitcoin Mirror is a bitcoin light client that runs on ethereum.☆70Updated 3 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 6 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated 2 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆39Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated 2 years ago
- Decentralized Summation System☆45Updated 3 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- A smart contract development toolchain for Go☆34Updated 6 months ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 3 years ago
- Tendermint in Solidity☆61Updated 3 years ago
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆28Updated 2 years ago
- Solidity error logging☆23Updated 4 years ago
- Creating a standard for whitehats☆29Updated 3 years ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆40Updated 3 weeks ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- Slow burner for protocol assets.☆33Updated 2 years ago
- establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time☆50Updated last week
- Token for accruing protocol revenues☆16Updated 3 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆30Updated 2 years ago