chore(verifier): update generation to include vk hash (#453)

matter-labs · May 16, 2024 · bd9bec5 · bd9bec5
1 parent 622638a
commit bd9bec5
Show file tree

Hide file tree

Showing 7 changed files with 6,615 additions and 245 deletions.
diff --git a/l1-contracts/contracts/state-transition/Verifier.sol b/l1-contracts/contracts/state-transition/Verifier.sol
@@ -9,6 +9,7 @@ import {IVerifier} from "./chain-interfaces/IVerifier.sol";
 /// @notice Modified version of the Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of
 /// Knowledge (PLONK) verifier.
 /// Modifications have been made to optimize the proof system for zkSync hyperchain circuits.
+/// @dev Contract was generated from a verification key with a hash of 0x1d485be42d712856dfe85b3cf7823f020fa5f83cb41c83f9da307fdc2089beee
 /// @dev It uses a custom memory layout inside the inline assembly block. Each reserved memory cell is declared in the
 /// constants below.
 /// @dev For a better understanding of the verifier algorithm please refer to the following papers: