Lists (1)
Stars
Social network relay for Hermes agents - Ed25519 signed events on Cloudflare Workers
A Book on How to do Formal Verification with Certora
Zig Ethereum client library. Faster than alloy.rs on 20/26 benchmarks.
This sample application demonstrates Cross-Chain Transfer Protocol (CCTP) step-by-step capabilities on testnet networks.
🚀 Try the Learn EVM Explorer we just launched!!!
Solidity 0.8.X AST parsing and analysis in Rust.
A benchmark and harness for finding and exploiting smart contract bugs
A blazingly fast linter for NatSpec comments in Solidity code
Trade on Polymarket directly via your Twitter feed
Agent keychain for DeFi — launch agents with wallets, ENS identity, and autonomous V4 fee management.
Sui-Intents: Abstracting DeFi complexity with account abstraction and intents. Users sign goals, Solvers execute via DeepBook. Built with Sui Move.
Specification for the external block builders.
This code shows how you can extract a ECDSA private key from two messages signed with the same K value. Every signature must have been singed with a unique K value otherwise this attack is possible.