Prototype Bitcoin Defi Groth16 proof generation with Risc Zero

[jpraynaud]

Why

We want to assess the feasibility of converting a Halo2 proof (recursive and non recursive) to a Groth16 proof and proving the membership of transactions to the Cardano transactions set with the Mithril client with RISC Zero.

What

Assess the feasibility of the conversion of Halo2 proof and transaction Merkle proof to Groth16 proof with RISC Zero.

How

• Evaluate feasibility of the conversion of an Halo2 proof to Groth16 proof with RISC-0:
  • Feasibility with a prototype with RISC-0:
    • Halo2 converter
    • Mithril client Merkle proof
  • Performances evaluation vs use case requirements
  • Security evaluation (vs how recursion is done)
  • Further optimizations of Halo2 proof converter in RISC Zero