zemse

zemse's Stars

• napi-rs/napi-rs

  A framework for building compiled Node.js add-ons in Rust via Node-API

  Language:Rust6.1k29630276

• SunWeb3Sec/DeFiHackLabs

  Reproduce DeFi hacked incidents using Foundry.

  Language:Solidity5.3k136381.2k

• paradigmxyz/reth

  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

  Language:Rust4k563.4k1.2k

• eth-infinitism/account-abstraction

  Language:Solidity1.6k38145648

• pcaversaccio/reentrancy-attacks

  A chronological and (hopefully) complete list of reentrancy attacks to date.

  1.3k5914148

• shazow/whatsabi

  Extract the ABI (and resolve proxies, and get other metadata) from Ethereum bytecode, even without source code.

  Language:TypeScript1.1k167974

• privacy-scaling-explorations/zkevm-circuits

  Language:Rust81639740857

• a16z/halmos

  A symbolic testing tool for EVM smart contracts

  Language:Python815912168

• primitivefinance/arbiter

  A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

  Language:Rust6741439064

• perfectblue/ctf-writeups

  Perfect Blue's CTF Writeups

  Language:Max667521051

• wevm/abitype

  Strict TypeScript types for Ethereum ABIs

  Language:TypeScript48172045

• LuozhuZhang/awesome-zkevm

  A curated list of awesome zkEVM resources, libraries, tools and more

  47921257

• RareSkills/gas-puzzles

  A sequence of smart contracts to practice gas optimization. These are used as practice assignments for RareSkills.io and the Udemy Gas Optimization Course

  Language:JavaScript469126178

• OpenZeppelin/merkle-tree

  A JavaScript library to generate merkle trees and merkle proofs.

  Language:TypeScript464728111

• powdr-labs/powdr

  A modular stack for zkVMs, with a focus on productivity, security and performance.

  Language:Rust4111745481

• spearbit/armory

  A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition. This is not your standard roadmap, top 10 vulnerabilities, or find-the-bug content. This is for the real researchooors.

  39522022

• lurk-lab/awesome-folding

  A curated list of zero-knowledge folding schemes

  26013429

• NomicFoundation/slang

  Solidity compiler tooling by @NomicFoundation

  Language:Rust239625818

• axiom-crypto/halo2-lib

  Monorepo of halo2 crates

  Language:Rust2381225151

• ingonyama-zk/papers

  A repo for our research papers :heart:

  20612517

• adria0/awesome-halo2

  List of halo2-related resources

  1884022

• plotchy/evm-cfg

  Symbolic stack CFG generator for EVM

  Language:Rust1793714

• mortendahl/rust-paillier

  A pure-Rust implementation of the Paillier encryption scheme

  Language:Rust11263174

• succinctlabs/eth-proof-of-consensus

  Language:Solidity1035126

• axiom-crypto/axiom-eth

  Language:Rust947541

• emilianobonassi/zkFHE

  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.

  Language:Rust79342

• bcsongor/tinyvanityeth

  📇 Tiny and fast command line tool to find vanity Ethereum addresses.

  Language:Rust21423

• statechannels/bytecode-debugger

  A simple EVM bytecode debugger

  Language:TypeScript19743

• nascentxyz/omniscan

  Language:Jupyter Notebook17300

• GarryFCR/Rsa_Zkp

  An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark

  Language:Go11314