File tree Expand file tree Collapse file tree 1 file changed +5
-4
lines changed
barretenberg/cpp/src/barretenberg/dsl/acir_proofs Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -3326,16 +3326,17 @@ inline std::string get_optimized_honk_solidity_verifier(auto const& verification
33263326 }
33273327 };
33283328
3329+ set_template_param (" VK_HASH" , field_to_hex (verification_key->hash ()));
33293330 set_template_param (" CIRCUIT_SIZE" , std::to_string (1 << verification_key->log_circuit_size ));
33303331 set_template_param (" LOG_CIRCUIT_SIZE" , std::to_string (verification_key->log_circuit_size ));
33313332 set_template_param (" NUM_PUBLIC_INPUTS" , std::to_string (verification_key->num_public_inputs ));
33323333 set_template_param (" LOG_N_MINUS_ONE" , std::to_string (verification_key->log_circuit_size - 1 ));
33333334 set_template_param (" NUMBER_OF_BARYCENTRIC_INVERSES" , std::to_string (verification_key->log_circuit_size * 8 ));
33343335
3335- size_t gemini_fold_univariate_length = ( verification_key->log_circuit_size - 1 ) * 0x40 ;
3336- size_t gemini_fold_univariate_hash_length = gemini_fold_univariate_length + 0x20 ;
3337- size_t gemini_evals_length = verification_key->log_circuit_size * 0x20 ;
3338- size_t gemini_evals_hash_length = gemini_evals_length + 0x20 ;
3336+ uint32_t gemini_fold_univariate_length = static_cast < uint32_t >(( verification_key->log_circuit_size - 1 ) * 0x40 ) ;
3337+ uint32_t gemini_fold_univariate_hash_length = static_cast < uint32_t >( gemini_fold_univariate_length + 0x20 ) ;
3338+ uint32_t gemini_evals_length = static_cast < uint32_t >( verification_key->log_circuit_size * 0x20 ) ;
3339+ uint32_t gemini_evals_hash_length = static_cast < uint32_t >( gemini_evals_length + 0x20 ) ;
33393340
33403341 set_template_param (" GEMINI_FOLD_UNIVARIATE_LENGTH" , int_to_hex (gemini_fold_univariate_length));
33413342 set_template_param (" GEMINI_FOLD_UNIVARIATE_HASH_LENGTH" , int_to_hex (gemini_fold_univariate_hash_length));
You can’t perform that action at this time.
0 commit comments