blocksecteam / rustle
A static analyzer for NEAR smart contract in Rust
☆104Updated last year
Related projects ⓘ
Alternatives and complementary repositories for rustle
- CTF-like challenges of smart contracts☆62Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆228Updated last year
- Public infra related to hosting Paradigm CTF☆103Updated 7 months ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆206Updated 3 weeks ago
- ☆137Updated 3 weeks ago
- Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.☆85Updated 2 years ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆216Updated last year
- 🧠 A scriptable semantic grep utility for solidity☆144Updated 3 months ago
- Reth AlphaNet is a testnet OP Stack-compatible rollup aimed at enabling experimentation of bleeding edge Ethereum Research.☆171Updated this week
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆93Updated last year
- Rust client library for Flashbots MEV-share☆178Updated 2 months ago
- Challenges and Solutions of Blaz CTF 2023☆40Updated 11 months ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆116Updated 8 months ago
- Diff EVM-compatible chains in a friendly format☆281Updated last month
- Solidity compiler tooling by @NomicFoundation☆242Updated this week
- like htop for Ethereum and other EVM chains☆145Updated 11 months ago
- DeFiVulnLabsCosmWasm☆48Updated last year
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆205Updated 2 months ago
- ☆57Updated last month
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆109Updated 3 months ago
- Finds matching solidity function signatures for a given 4 byte signature hash and arguments.☆110Updated last year
- The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees☆183Updated 2 months ago
- A gentle, example-based guide to getting started with the Move prover.☆40Updated 2 years ago
- Library for building symbolically executable stack-based virtual machines☆72Updated 2 years ago
- Nomad Monorepo -- SDKs, Contracts, and more!☆118Updated last year
- ☆159Updated 2 years ago
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆38Updated 4 months ago
- a library for making EVM-based blockchain data more human-readable☆181Updated 2 years ago
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆89Updated 2 months ago
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆143Updated 5 months ago