Prototype Bitcoin Defi Groth16 proof generation with circuit

[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 a circuit.

What

Assess the feasibility of the conversion of Halo2 proof and transaction Merkle proof to Groth16 proof with a circuit.

How

• Prototype the conversion of an Halo2 proof to Groth16 proof with a circuit:
  • Feasibility with a prototype with RISC-0:
    • Halo2 converter
    • Mithril client Merkle proof
  • Performances evaluation vs use case requirements
  • Security evaluation