I'd be grateful if someone could help me answering these questions.
- Where do I find the protocol state verification key? How is it provided to MINA nodes. Is it constant or dynamic?
- In each block we have a protocol state proof. Verifying it with the before-mentioned key means that:
a) The given state can be created by applying valid transactions on top of a state from a block that also has a valid proof.
b) Point a) + the fact that the previous (or this) block was produced by a slot-leader elected by the MINA consensus mechanism.
c) something different - In case of a fork both of states will carry a valid proof of the protocol state, albeit a different ones?
- The whitepaper mentions something called
consensusProofwhat is it?
Thanks!