How are @methods composed into a single verification key, even tho they have individual provers? | Mina Protocol | Page 1

hoary gyro Mar 31, 2023, 11:00 AM

#

I'm assuming every @method is a circuit, but still the entire smart contract has a single verification key - how does this work?

plush void Mar 31, 2023, 11:16 AM

#

Not sure if we are talking about the same but I have test that a method can be called by anyone else by default. If I want to have a method that only an owner can call it. I have to set it my own

burnt loom Mar 31, 2023, 12:14 PM

#

I answered this here: #1072981869399904357 message

hoary gyro Mar 31, 2023, 12:23 PM

#

thanks!

hoary gyro Mar 31, 2023, 4:39 PM

#

@burnt loom what are the exact limits for ZkProgram? How big can the public input be? How big can the private input be? How many proofs can we recursively verify? How many 'gates' or rows can we occupy?

ocean garden Apr 1, 2023, 4:51 AM

#

Regarding verification all the issues that can cause constraint are defined in the prover function

#

Have you deployed a smart contract yet?

#How are @methods composed into a single verification key, even tho they have individual provers?