monetlang / evmliteLinks
A tiny stack machine to learn Ethereum bytecode.
☆11Updated 6 months ago
Alternatives and similar repositories for evmlite
Users that are interested in evmlite are comparing it to the libraries listed below
Sorting:
- A gentle, example-based guide to getting started with the Move prover.☆50Updated 2 years ago
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆45Updated 3 months ago
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- Utilities for working with native solc and compiling projects.☆91Updated this week
- ☆47Updated last year
- Curated list of ZKML models and use cases made with Giza☆50Updated last year
- An EVM interpreter in Dafny☆130Updated 8 months ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆82Updated 9 months ago
- a lisp built on top of vyper☆43Updated last month
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆77Updated 3 weeks ago
- A Fractional NFT Lending platform that supports 1-to-many relation between borrower and lenders with collateral protection for borrower o…☆11Updated 2 years ago
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Updated 7 months ago
- A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.☆21Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆77Updated last month
- A Solidity interpreter☆68Updated last month
- Introductory lecture notes on programmable cryptography☆106Updated last month
- ☆50Updated 3 months ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆72Updated last month
- ☆41Updated 2 years ago
- ☆20Updated 11 months ago
- ☆80Updated this week
- A compilation of solana security resources.☆21Updated 2 years ago
- Lints based on the Sealevel Attacks☆43Updated this week
- ☆32Updated 2 years ago
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 3 weeks ago
- 9000 generative on-chain dungeons in the Lootverse. Can be used by designers and developers for text-based, 2D, and 3D games.☆25Updated 3 years ago
- Zirgen compiler and RISC Zero circuits☆98Updated this week
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Updated 9 months ago
- StarkNet smart contract fuzzer☆80Updated 3 years ago
- Cryptography In Rust For Hackers☆21Updated last year