GitHub repository: risc0/r0vm-helios
Primary language: Solidity
Description: On-chain Ethereum light client