NovaDecider is OpaqueVerifier

privacy-scaling-explorations · Feb 24, 2025 · 3ecc502 · 3ecc502
1 parent f110f44
commit 3ecc502
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/solidity-verifiers/templates/nova_cyclefold_decider.askama.sol b/solidity-verifiers/templates/nova_cyclefold_decider.askama.sol
@@ -68,7 +68,7 @@ interface OpaqueDecider {
  * @title   NovaDecider contract, for verifying Nova IVC SNARK proofs.
  * @dev     This is an askama template which, when templated, features a Groth16 and KZG10 verifiers from which this contract inherits.
  */
-contract NovaDecider is Groth16Verifier, KZG10Verifier {
+contract NovaDecider is Groth16Verifier, KZG10Verifier, OpaqueDecider {
     /**
      * @notice  Computes the linear combination of a and b with r as the coefficient.
      * @dev     All ops are done mod the BN254 scalar field prime