Feasibility of Bitcoin Defi usecase

[jpraynaud]

Why

We want to assess the feasibility of converting a Halo2 proof (recursive and non recursive) to a Groth16 proof. This feature will provide the necessary bridge to power the Bitcoin Defi usecase.

What

Assess the feasibility of the conversion of Halo2 proof to Groth16 proof.

How

• Evaluate feasibility of the conversion of an Halo2 proof to Groth16 proof with RISC-0:
  • Feasibility with a prototype with RISC-0
  • Performances evaluation vs use case requirements
• (if RISC-0 does not work) Prototype the conversion of an Halo2 proof to Groth16 proof with a circuit:
  • Feasibility with a circuit library (e.g. Arkworks, or another to determine)
  • Prototype a circuit with the selected library
  • Performances evaluation vs use case requirements
• Assess the impact of the transaction membership proof on the prover