Meaning
Computational module responsible for generating or verifying mathematical evidence that a specific set of operations was performed correctly. A proof engine allows a founder to provide a zero-knowledge or optimistic guarantee that system state transitions follow the established rules. It is the primary component of any scaling solution that relies on cryptographic proofs instead of full network re-execution.
This component generates the certificates that settle the finality of a transaction.
Verification Record
The output of this module is a short string of data that can be checked by anyone without seeing the original private inputs, maintaining privacy while ensuring correctness. This record provides the definitive proof of a claim, such as a balance update or a successful vote. Keeping a history of these proofs allows for the reconstruction of the system’s state from any point in time.
The cost of running the engine is the primary operational expense for the network.
Mechanism Security
Any flaw in the mathematical logic of the engine would invalidate every record it has ever produced. This makes the code for the engine the most scrutinized part of the entire stack. Frequent updates to the prover are necessary to maintain performance and safety.
State Transition
Change is only accepted once the engine produces a valid certificate.
