snarkify/sirius

feat(ivc): impl cyclefold::support_circuit::protogalaxy::verify_delegated

Closed this issue · 1 comments

cyphersnake commented

Part of the computation, particularly ECC-related operations from nifs::protogalaxy::verify, needs to be moved to the support (secondary) circuit.

Depends on #369 for core logic integration.

cyphersnake commented
  • Impl TinyGate (degree = 2) gate = a+r*b (0.5 sp)
  • impl trait EccOperationGate (0.5 sp)
  • MainGate field -> impl EccOperationGate (0.5 sp)
  • Test all together (1 sp)