#Contract with ZkProgram Proof as input and Network.proofsEnabled = false

1 messages · Page 1 of 1 (latest)

gritty abyss
#

I'm trying to use Lightnet for faster testing, so I'm using Network.proofsEnabled = false, but when I do txn.prove() it looks like it still is trying to prove the transaction. I was able to deploy the contract to Lightnet without compiling my ZkProgram and contract, but when I execute my contract method I get this error:

Error: Cannot prove execution of update(), no prover found. Try calling `await PostsContract.compile()` first, this will cache provers in the background.

I suspect that it is failing because my contract method takes a ZkProgram Proof as an input. I created dummy proofs, but it still is expecting the prover and if I don't run txn.prove(), I get this other error when I try to send the transaction:

Error: Transaction failed with errors:
- {"statusCode":200,"statusText":"Couldn't send zkApp command: (invalid\n (\"Authorization kind does not match the authorization\"\n  ((expected Proof) (got None_given))))"}

Is there a way to use Lightnet to test contract methods that take a ZkProgram Proof as an input?

hybrid brook
#

You can’t skip proofs for zk programs yet. You can use zk programs as an input on lightnet, but it will have to be with proofs enabled.

hybrid brook