GitHub repository: zeko-labs/zeko
Primary language: OCaml
Description: Zeko: zk-Rollup for Mina, a succinct blockchain