zkcg-halo2-prover

Proof generation engine for ZKCG using the Halo2 proving system.

Installation

cargo add zkcg-halo2-prover

Quick Start

use zkcg_common::InputData;

let input = InputData { /* your collateral_vault or custom data */ };
let proof = generate_proof(input)?;   // ~320ms

println!("✅ Proof generated! Size: {} bytes", proof.len());

Full usage, circuits & examples → https://github.com/MRSKYWAY/ZKCG

Want hosted proving, custom circuits, or SLA?

→ GitHub Sponsors: https://github.com/sponsors/MRSKYWAY

→ Or DM me on X (@Sujyot10)

Role in ZKCG

Circuit
   ↓
Witness
   ↓
Halo2 Prover
   ↓
Proof

Repository

https://github.com/MRSKYWAY/ZKCG