lienhage

lienhage's Stars

• sec-bit/learning-zkp

  articles, codes and tools all about zero-knowledge proofs

  Language:Jupyter Notebook814187

• nalinbhardwaj/zordle

  Wordle, but with ZK proofs!

  Language:Rust21413

• axiom-crypto/halo2-lib

  Monorepo of halo2 crates

  Language:Rust236150

• privacy-scaling-explorations/halo2-solidity-verifier

  A set of tooling related to halo2 circuits verification inside Solidity contracts

  Language:Rust6319

• a16z/jolt

  The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

  Language:Rust667140

• z2o-k7e/halo2-step-by-step

  halo2-step-by-step

  Language:Rust249

• dajuguan/MIT-ZKIAP-2023

  My MIT IAP 2023 Modern Zero Knowledge Cryptography excercise answer

  Language:Python51

• teddav/tornado-halo2

  Tornado Cash circuits written with Halo2

  Language:Rust51

• warp-id/solana-trading-bot

  Solana Trading Bot - Beta

  Language:TypeScript1.5k690

• bitlayer-org/BitVM-Research

  Opensource code to replicate the whole process of BitVM white paper

  Language:TypeScript2711

• VersaLab/versa-contract

  Base contract for versawallet.

  Language:TypeScript72

• zkemail/halo2-zk-email

  Email verification circuit in halo2

  Language:Rust6211

• DAuth-Network/halo2-jwt

  Language:Rust63

• accountjs/aa-research

  research, blog, weekly

  234

• OffchainLabs/awesome-stylus

  A curated list of Arbitrum Stylus code examples, libraries and resources

  5617

• RustCrypto/signatures

  Cryptographic signature algorithms: DSA, ECDSA, Ed25519

  Language:Rust463107

• evmcheb/univ2-wasm

  Language:Rust22

• OffchainLabs/stylus-sdk-rs

  Rust Smart Contracts on Arbitrum

  Language:Rust23778

• rhinestonewtf/awesome-modular-accounts

  📖 A curated list of resources dedicated to Modular Smart Accounts

  668

• privacy-scaling-explorations/halo2curves

  Language:Rust173138

• adria0/awesome-halo2

  List of halo2-related resources

  18822

• privacy-scaling-explorations/halo2

  Language:Rust206128

• ethereum/execution-specs

  Specification for the Execution Layer. Tracking network upgrades.

  Language:Python839235

• rust-lang/rustlings

  :crab: Small exercises to get you used to reading and writing Rust code!

  Language:Rust53.6k10.1k

• 4337Mafia/awesome-account-abstraction

  📖 A curated list of resources dedicated to Account Abstraction (EIP-4337)

  886148

• NomicFoundation/hardhat

  Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

  Language:TypeScript7.3k1.4k

• eth-infinitism/account-abstraction

  Language:Solidity1.5k638

• transmissions11/solmate

  Modern, opinionated, and gas optimized building blocks for smart contract development.

  Language:Solidity3.9k645

• coinspect/learn-evm-attacks

  Learn and contribute by exploring blockchain attacks in detail. Maintained by Coinspect smart contract audit team, renowned for their top-tier smart contract audit services.

  Language:Solidity1.7k214

• itstorque/jekyll-shell-theme

  A Jekyll Theme that looks like a shell

  Language:CSS7752