GitHub repository: paradigmxyz/zk-eth-rng
Primary language: Solidity
Description: Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.