mkalinin

mkalinin's Stars

• Consensys/evm-dafny

  An EVM interpreter in Dafny

  Language:Dafny1214

• potuz/mammon

  Language:C++102

• karalabe/minority

  Ethereum 2.0 node multiplexer between consensus and execution

  Language:Go982

• protolambda/eth2-testnet-genesis

  Create a genesis state for an Eth2 testnet

  Language:Go4222

• ethereum/rayonism

  DEPRECATED

  Language:Makefile208

• rauljordan/eth-faucet

  Production ready faucet server for Ethereum testnets with Angular and React examples

  Language:TypeScript3620

• benjaminion/c-kzg

  Simple implementation of KZG commitments in C

  Language:C3116

• zilm13/withdrawal-simulation

  Infrastructure for ETH 2.0 withdrawal simulation

  1

• prysmaticlabs/prysm

  Go implementation of Ethereum proof of stake

  Language:Go3.4k954

• ethereum/hive

  Ethereum end-to-end test harness

  Language:Go384437