GitHub repository: risc0/kailua
Primary language: Solidity
Description: The Ultimate ZK Proving Software Suite for Securing OP Rollups