anoma/taiga

Refine the `ValidityPredicateVerifyingInfo` and `ValidityPredicateConfig` traits

XuyangSong opened this issue · 0 comments

XuyangSong commented

To simplify the ValidityPredicate traits:

  • Consider merging the ValidityPredicateVerifyingInfo into the ValidityPredicateCircuit trait.
  • Since we've unified the ValidityPredicateConfig, consider removing the ValidityPredicateConfig trait and using the concrete config struct instead. Note: ValidityPredicateConfig trait is still used in the Sudoku example; fix it if needed.
  • Rename the confusing app_vp_verifying_info(_dynamic) in the Input/OuputNoteProvingInfo