Consensys / codewitnessLinks
Code Merklization and other approaches to reducing the code contribution to witness size
☆14Updated last year
Alternatives and similar repositories for codewitness
Users that are interested in codewitness are comparing it to the libraries listed below
Sorting:
- ERC20 contracts programmed only with low level syntax (inline assembly, pure Yul, ...)☆48Updated 3 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 3 years ago
- ☆91Updated 4 years ago
- https://twitter.com/jtriley_eth/status/1550459124047138819?s=20&t=cTBP-TSnIstNEwwPuRDF5Q☆17Updated 3 years ago
- Minimal ERC20-compatible bytecode☆71Updated 4 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆61Updated 4 years ago
- Solidity codegen tool for efficient ABI encoding/decoding.☆94Updated last year
- A collection of useful bash scripts for ChainOps and more☆84Updated 3 years ago
- ☆81Updated 3 years ago
- Vyper Based Capture The Flag Challenges☆35Updated 3 years ago
- Simple Rust script for finding colliding 4byte function selectors☆59Updated 2 years ago
- Testing echidna vs. forge fuzzing☆77Updated 3 years ago
- A Foundry library for deploying and managing upgradeable smart contracts☆96Updated 2 years ago
- Create Blacksmiths to use the Foundry. Blacksmith is a 'User Contract' generator. User contracts can interface with the test contracts in…☆102Updated 3 years ago
- My Openzeppelin's Ethernaut CTF solutions, with a test strategy inspired by https://github.com/ciaranmcveigh5/ethernaut-x-foundry☆14Updated 3 years ago
- Foundry + Yul template☆97Updated 2 years ago
- Repository containing past audit reports☆55Updated 2 years ago
- Writeup for solved challenges in Paradigm CTF 2022☆74Updated 3 years ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆56Updated last year
- Cross chain call library for Solidity☆81Updated 3 years ago
- Hacxyk Lab -- A sandboxed playground to exploit Ethereum contracts on a mainnet fork☆68Updated 3 years ago
- ☆19Updated 3 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- ☆34Updated 8 months ago
- standardized framework to simulate governance proposals with forge☆58Updated 2 years ago
- ☆100Updated 2 years ago
- Code for Foundry Seminar☆114Updated 3 years ago
- A list of common Solidity optimization tips and myths.☆84Updated 3 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆55Updated last year
- Four scripts to ordinary generate, EIP-4844-type generate, EIP-7702-type generate, and execute a signed raw transaction with ethers.☆40Updated this week