ZKP-based on-chain gating

When deployment of an on-chain ZKP-based scenario has been completed, a modal with the verifier entrypoint address and a code snippet is displayed.

The code snippet is in Solidity and can be copied and pasted directly into your smart contact. The verifier entrypoint address should be passed to the smart contract in the constructor or in the initializer in your deployment script. For example:

const compilotVerifierAddress = "0x3f03a2C2F8e345B3894c3D871c97Fb5ae5b26Dd7";

deployProxyAavePool(nexeraVerifierAddress).catch((error) => {
  console.error(error);
  process.exitCode = 1;
});

After you close the modal, you can access this information using the Verifier entrypoint pane at the top right of the edit scenario screen.