GitHub repository: nyuiela/zero-2.0
Primary language: TypeScript
Description: Generating proofs for executions.