informalsystems / auditsLinks
Security Audits by Informal Systems
☆19Updated 2 weeks ago
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- ☆46Updated 4 years ago
- ☆27Updated 2 years ago
- ☆40Updated 5 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 3 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated 2 years ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆40Updated last week
- Creating a standard for whitehats☆29Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 3 years ago
- a rust SDK for the gelato relay, using ethers-rs☆32Updated 2 years ago
- ☆34Updated 3 years ago
- Introduction to core development via CTF challenges☆41Updated 3 years ago
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated 2 years ago
- Bitcoin Mirror is a bitcoin light client that runs on ethereum.☆69Updated 3 years ago
- Decentralized Summation System☆45Updated 3 years ago
- ☆30Updated 2 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 4 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
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- Complex numbers for Solidity☆55Updated last year
- Slow burner for protocol assets.☆33Updated 2 years ago
- List of Squeeth Resources and Threads☆34Updated 3 years ago
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆39Updated last year
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆46Updated 4 years ago
- Know if a call is from an EOA no matter what☆33Updated 4 years ago
- Morpho token contracts.☆14Updated last year
- ☆37Updated 3 years ago
- ☆37Updated 3 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Smart contracts for the Telepathy protocol☆79Updated last year
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30Updated 3 years ago