Skip to main content

Functional Commitment Security

Definition

Functional Commitment Security pertains to the cryptographic property ensuring that a party cannot alter a committed function after the commitment phase without detection. This security guarantee is crucial in zero-knowledge proofs and verifiable computation, where a prover commits to a function and later demonstrates its correct execution. It prevents malicious actors from changing the underlying logic of a computation while claiming to adhere to the original commitment. This property upholds the integrity of computations performed by untrusted parties.