☆16Aug 15, 2024Updated last year
Alternatives and similar repositories for huff-spearbit-demo
Users that are interested in huff-spearbit-demo are comparing it to the libraries listed below
Sorting:
- ☆29Mar 7, 2023Updated 2 years ago
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 3 years ago
- ☆13Sep 23, 2022Updated 3 years ago
- Circom merkle tree primitives☆25Jul 16, 2023Updated 2 years ago
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 3 years ago
- The good, the bad, and the ugly of proxy implementations☆104Jan 19, 2024Updated 2 years ago
- Example of the whitehack for Curve exploit 30/07/23☆19Aug 3, 2023Updated 2 years ago
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Oct 7, 2022Updated 3 years ago
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated last year
- Puzzles using ZKP☆18Mar 7, 2023Updated 2 years ago
- Smart contract auditing portfolio☆36Aug 7, 2025Updated 6 months ago
- Contains every issue l have ever found, while doing public auditing.☆30Feb 27, 2023Updated 3 years ago
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- Solution for the Optimizoor club's sqrt challenge☆11Nov 1, 2022Updated 3 years ago
- Information about MatterLabs bounty program for ETH Lisbon 2022 hackathon☆10Dec 15, 2023Updated 2 years ago
- smart contracts, front-end, and discord bot for a zero knowledge verification service☆14Mar 28, 2022Updated 3 years ago
- ☆15Feb 11, 2023Updated 3 years ago
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆144Dec 11, 2023Updated 2 years ago
- unhacked challenge 1: reaper☆42Sep 10, 2022Updated 3 years ago
- This is a solidity implementation of extremely efficient approximations for PI☆28May 13, 2022Updated 3 years ago
- Eth mempool history☆31Sep 2, 2022Updated 3 years ago
- ☆108Feb 28, 2024Updated 2 years ago
- A collection of EVM opcodes puzzles that helps you learn in-depth details about EVM Opcodes by solving them. Featured in Week In Ethereum…☆48Oct 9, 2023Updated 2 years ago
- Write-ups and content for Curta puzzles, problems, etc.☆14Mar 25, 2024Updated last year
- ☆14Oct 29, 2025Updated 4 months ago
- Then I'll huff and I'll puff and I'll blow your house in☆15Oct 21, 2022Updated 3 years ago
- Collection of PoCs and exploits for DeFi and other Ethereum projects☆83Aug 5, 2022Updated 3 years ago
- Foundry + Yul puzzles☆33Aug 8, 2023Updated 2 years ago
- generate a state machine of smart contracts☆15May 17, 2023Updated 2 years ago
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- ☆17Apr 4, 2022Updated 3 years ago
- Repository containing past audit reports☆54Nov 27, 2023Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆55Aug 22, 2024Updated last year
- ☆88Sep 3, 2025Updated 6 months ago
- Implementation of the Ethereum Virtual Machine in python.☆86Feb 6, 2023Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- This is a asbtract syntax tree for huff written in rust to facilitate conversion of solidity to huff☆13Mar 2, 2024Updated 2 years ago
- ☆14Sep 29, 2023Updated 2 years ago
- ☆88Jan 14, 2024Updated 2 years ago