blocksecteam / rustle
A static analyzer for NEAR smart contract in Rust
☆105Updated last year
Alternatives and similar repositories for rustle
Users that are interested in rustle are comparing it to the libraries listed below
Sorting:
- A gentle, example-based guide to getting started with the Move prover.☆48Updated 2 years ago
- Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.☆85Updated 2 years ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆212Updated last week
- CTF-like challenges of smart contracts☆63Updated 2 years ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆120Updated 8 months ago
- Reth AlphaNet is a testnet OP Stack-compatible rollup aimed at enabling experimentation of bleeding edge Ethereum Research.☆173Updated 5 months ago
- LLVM-based Solidity compiler.☆78Updated last week
- Public infra related to hosting Paradigm CTF☆111Updated last year
- Bundler specification test suites☆78Updated 3 weeks ago
- evm inception: the evm inside the evm via yul and solidity☆228Updated 2 years ago
- Hunt for common bad practices in Solidity smart contracts !☆122Updated 2 years ago
- A smart contract security search utility☆74Updated 4 months ago
- ☆148Updated last month
- ☆111Updated last month
- Solidity compiler tooling by @NomicFoundation☆262Updated this week
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆234Updated 3 months ago
- Rust client library for Flashbots MEV-share☆189Updated 3 weeks ago
- Cuda implementation of EVM bytecode executor☆107Updated 4 months ago
- A list of awesome Reth-related resources☆117Updated last month
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated 9 months ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆118Updated last year
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆150Updated this week
- Solidity-Compiler Version Manager☆273Updated last week
- Generate invariants for Foundry projects with LLM☆98Updated 8 months ago
- ☆81Updated 3 months ago
- ☆41Updated last year
- DeFiVulnLabsCosmWasm☆50Updated last year
- Writeup for Move CTF 2022 by MoveBit and others.☆18Updated 2 years ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆230Updated 2 years ago
- Challenges and Solutions of Blaz CTF 2023☆44Updated last year