GitHub repository: ChainSafe/zipline-zkvm
Description: Snarkify Zipline