chista0x

chista0x's Stars

• Jon-Becker/heimdall-rs

  Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

  Language:Rust1.2k129

• prysmaticlabs/prysm

  Go implementation of Ethereum proof of stake

  Language:Go3.5k1.1k

• 3b1b/videos

  Code for the manim-generated scenes used in 3blue1brown videos

  Language:Python8.9k1.8k

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python75.1k6.5k

• jiffy-labs/jiffy-explorer

  An explorer for account abstraction

  Language:TypeScript185

• horsefacts/weth-invariant-testing

  Language:Solidity27947

• crytic/building-secure-contracts

  Guidelines and training material to write secure smart contracts

  Language:Solidity2.3k365

• smartcontractkit/prediction-game

  Rugby prediction game using Chainlink Functions, Automation, and CCIP.

  Language:TypeScript6140

• alchemix-finance/v2-foundry

  Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.

  Language:Solidity11143

• Folks-Finance/xchain-contracts

  The smart contracts for the Folks Finance Cross-Chain Lending Protocol.

  Language:TypeScript208

• fvictorio/evm-puzzles

  A collection of EVM puzzles

  Language:JavaScript826168

• PaulRBerg/btt-examples

  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests

  Language:Solidity726

• Vectorized/solady

  Optimized Solidity snippets.

  Language:Solidity2.8k375

• noir-lang/noir-examples

  A repo of example Noir projects.

  Language:Solidity4617

• bcnmy/scw-contracts

  SCW contracts for Biconomy Smart Account

  Language:TypeScript12683

• dtolnay/cargo-expand

  Subcommand to show result of macro expansion

  Language:Rust2.8k66

• AmadiMichael/Zyclone

  2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash

  Language:Solidity798

• RareSkills/solidity-riddles

  A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and some are exceptionally challenging.

  Language:Solidity319100

• developeruche/cryptography-n-zk-research

  A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploits and so on.

  Language:Rust294

• huff-language/huff-rs

  A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.

  Language:Rust59781

• huff-language/huffc

  A low level assembly language for the Ethereum Virtual Machine

  Language:TypeScript26032

• huff-language/huffmate

  A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.

  Language:Solidity44655

• runtimeverification/evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)

  Language:Python516150

• alchemyplatform/modular-account

  Language:Solidity11539

• alchemyplatform/rundler

  An ERC-4337 Bundler in Rust

  Language:Rust30755

• ComposableSecurity/SCSVS

  Smart Contract Security Verification Standard

  46754

• crytic/medusa

  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

  Language:Go34348

• colinnielsen/safe-tools

  Foundry tools for testing with Gnosis Safes

  Language:Solidity14317

• 0xsequence/create3

  CREATE3 (see EIP-3171) implemented in Solidity

  Language:Solidity29135

• alchemyplatform/learn-solidity-presentations

  All of the presentations in the Learn Solidity course

  Language:Solidity243150