A hyper gas optimized and formally verified smart contract, written in huff. 🐎
☆46Mar 3, 2025Updated last year
Alternatives and similar repositories for TSender
Users that are interested in TSender are comparing it to the libraries listed below
Sorting:
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- Curta CTF #12☆20Oct 13, 2023Updated 2 years ago
- A mostly mostly reasonable approach to Huff styling.☆79Aug 8, 2023Updated 2 years ago
- Yultsur is a Rust implementation of Yul.☆23Jul 2, 2021Updated 4 years ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Feb 24, 2026Updated last week
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- Circuits☆22Jan 30, 2026Updated last month
- Translate circomlib into gnark☆20Sep 16, 2025Updated 5 months ago
- A blazingly fast linter for NatSpec comments in Solidity code☆30Updated this week
- POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors☆44Jul 16, 2024Updated last year
- A puzzle for Curta CTF☆26Sep 5, 2023Updated 2 years ago
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- Solidity transient storage that's mutable from within a `STATICCALL`☆24May 6, 2025Updated 10 months ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- ☆10Sep 4, 2025Updated 6 months ago
- ☆24Dec 21, 2024Updated last year
- ☆23Sep 13, 2024Updated last year
- Private transactions on EVM chains, supporting dynamic deposit amounts, partial withdrawals and shielded/confidential transfer of value.☆23Nov 18, 2023Updated 2 years ago
- Solidity Static Analyzer that easily integrates into your editor☆735Updated this week
- Noir support for Zed☆11May 3, 2024Updated last year
- Modular aggregated order book for CeFi exchanges☆13May 25, 2023Updated 2 years ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 4 months ago
- The fhEVM Decryptions Database is a key-value database of decryption results.☆15Aug 24, 2023Updated 2 years ago
- A JSON-formatted registry file to describe NFTs within a given wallet that should and should not be showcased☆16Sep 7, 2021Updated 4 years ago
- An NFT collection to commemorate players of the Curta team for their participation and performance in the 2023 Paradigm CTF.☆11Nov 2, 2023Updated 2 years ago
- Sources of the tusistor TUI app and the rusistor lib.☆14Dec 29, 2025Updated 2 months ago
- ☆10May 7, 2022Updated 3 years ago
- Basic EOA Batch Executor (BEBE)☆34May 7, 2025Updated 9 months ago
- An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.☆59May 11, 2023Updated 2 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Mar 9, 2023Updated 2 years ago
- ☆12Nov 3, 2024Updated last year
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 6 months ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated last year
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 9 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Nov 17, 2024Updated last year
- Huffidity, but let's you jump back to Solidity runtime execution from Huff runtime execution.☆33Aug 28, 2023Updated 2 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Jul 27, 2024Updated last year