extropyCoder's Stars
prysmaticlabs/prysm
Go implementation of Ethereum proof of stake
ethereum/yellowpaper
The "Yellow Paper": Ethereum's formal specification
use-ink/ink
Polkadot's ink! to write smart contracts.
hyperledger/solang
Solidity Compiler for Solana and Polkadot
ewasm/design
Ewasm Design Overview and Specification
msuiche/porosity
*UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts
input-output-hk/Scorex
Modular blockchain framework. Public domain
barryWhiteHat/roll_up
scale ethereum with snarks
QED-it/zkinterface
zkInterface is a protocol for the interoperability of zero-knowledge frameworks.