nerolation / slashing-proofoorLinks
Proof of slashed validator inside the EVM
☆20Updated last year
Alternatives and similar repositories for slashing-proofoor
Users that are interested in slashing-proofoor are comparing it to the libraries listed below
Sorting:
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆33Updated 6 months ago
- Minimal template for using the Arbiter framework for simulations.☆47Updated 5 months ago
- ☆34Updated 9 months ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆59Updated 3 months ago
- Execute programs from forge with an open 2-way communication channel between both☆57Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆49Updated last year
- an introduction to noir, with simple examples☆44Updated last year
- A capital-efficient Uniswap v4 liquidity bootstrapping pool (LBP) hooks contract☆57Updated last year
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- ☆19Updated last month
- Submodules Kill Solidity☆38Updated last year
- ☆37Updated 3 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- ☆45Updated 7 months ago
- ☆51Updated last year
- ☆47Updated 9 months ago
- ☆43Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆45Updated last year
- Ethereum stateless tools☆45Updated 2 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆44Updated 6 months ago
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- 🩸 A minimal Solidity library for MEV taxes☆59Updated 9 months ago
- Generating Inputs for OZ's MultiProof and SingleProof☆38Updated 7 months ago
- Solidity static analyzer☆83Updated last year