-
Notifications
You must be signed in to change notification settings - Fork 311
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
9572634
commit 35a8e8c
Showing
6 changed files
with
107 additions
and
97 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
84 changes: 84 additions & 0 deletions
84
barretenberg/cpp/src/barretenberg/eccvm/eccvm_trace_checker.cpp
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,84 @@ | ||
| #include "eccvm_trace_checker.hpp" | ||
| #include "barretenberg/eccvm/eccvm_flavor.hpp" | ||
|
|
||
| using namespace bb; | ||
|
|
||
| using Flavor = ECCVMFlavor; | ||
| using Builder = typename ECCVMFlavor::CircuitBuilder; | ||
| using FF = typename ECCVMFlavor::FF; | ||
| using ProverPolynomials = typename ECCVMFlavor::ProverPolynomials; | ||
|
|
||
| bool ECCVMTraceChecker::check_circuit(Builder& builder) | ||
| { | ||
| const FF gamma = FF::random_element(); | ||
| const FF beta = FF::random_element(); | ||
| const FF beta_sqr = beta.sqr(); | ||
| const FF beta_cube = beta_sqr * beta; | ||
| auto eccvm_set_permutation_delta = | ||
| gamma * (gamma + beta_sqr) * (gamma + beta_sqr + beta_sqr) * (gamma + beta_sqr + beta_sqr + beta_sqr); | ||
| eccvm_set_permutation_delta = eccvm_set_permutation_delta.invert(); | ||
| bb::RelationParameters<typename Flavor::FF> params{ | ||
| .eta = 0, | ||
| .beta = beta, | ||
| .gamma = gamma, | ||
| .public_input_delta = 0, | ||
| .lookup_grand_product_delta = 0, | ||
| .beta_sqr = beta_sqr, | ||
| .beta_cube = beta_cube, | ||
| .eccvm_set_permutation_delta = eccvm_set_permutation_delta, | ||
| }; | ||
|
|
||
| ProverPolynomials polynomials(builder); | ||
| const size_t num_rows = polynomials.get_polynomial_size(); | ||
| compute_logderivative_inverse<Flavor, ECCVMLookupRelation<FF>>(polynomials, params, num_rows); | ||
| compute_permutation_grand_product<Flavor, ECCVMSetRelation<FF>>(num_rows, polynomials, params); | ||
|
|
||
| polynomials.z_perm_shift = Polynomial(polynomials.z_perm.shifted()); | ||
|
|
||
| const auto evaluate_relation = [&]<typename Relation>(const std::string& relation_name) { | ||
| typename Relation::SumcheckArrayOfValuesOverSubrelations result; | ||
| for (auto& r : result) { | ||
| r = 0; | ||
| } | ||
| constexpr size_t NUM_SUBRELATIONS = result.size(); | ||
|
|
||
| for (size_t i = 0; i < num_rows; ++i) { | ||
| Relation::accumulate(result, polynomials.get_row(i), params, 1); | ||
|
|
||
| bool x = true; | ||
| for (size_t j = 0; j < NUM_SUBRELATIONS; ++j) { | ||
| if (result[j] != 0) { | ||
| info("Relation ", relation_name, ", subrelation index ", j, " failed at row ", i); | ||
| x = false; | ||
| } | ||
| } | ||
| if (!x) { | ||
| return false; | ||
| } | ||
| } | ||
| return true; | ||
| }; | ||
|
|
||
| bool result = true; | ||
| result = result && evaluate_relation.template operator()<ECCVMTranscriptRelation<FF>>("ECCVMTranscriptRelation"); | ||
| result = result && evaluate_relation.template operator()<ECCVMPointTableRelation<FF>>("ECCVMPointTableRelation"); | ||
| result = result && evaluate_relation.template operator()<ECCVMWnafRelation<FF>>("ECCVMWnafRelation"); | ||
| result = result && evaluate_relation.template operator()<ECCVMMSMRelation<FF>>("ECCVMMSMRelation"); | ||
| result = result && evaluate_relation.template operator()<ECCVMSetRelation<FF>>("ECCVMSetRelation"); | ||
|
|
||
| using LookupRelation = ECCVMLookupRelation<FF>; | ||
| typename ECCVMLookupRelation<typename Flavor::FF>::SumcheckArrayOfValuesOverSubrelations lookup_result; | ||
| for (auto& r : lookup_result) { | ||
| r = 0; | ||
| } | ||
| for (size_t i = 0; i < num_rows; ++i) { | ||
| LookupRelation::accumulate(lookup_result, polynomials.get_row(i), params, 1); | ||
| } | ||
| for (auto r : lookup_result) { | ||
| if (r != 0) { | ||
| info("Relation ECCVMLookupRelation failed."); | ||
| return false; | ||
| } | ||
| } | ||
| return result; | ||
| } |
85 changes: 5 additions & 80 deletions
85
barretenberg/cpp/src/barretenberg/eccvm/eccvm_trace_checker.hpp
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,83 +1,8 @@ | ||
| #pragma once | ||
|
|
||
| #include "eccvm_circuit_builder.hpp" | ||
| namespace bb { | ||
|
|
||
| class ECCVMTraceChecker { | ||
| // bool check_circuit() | ||
| // { | ||
| // const FF gamma = FF::random_element(); | ||
| // const FF beta = FF::random_element(); | ||
| // const FF beta_sqr = beta.sqr(); | ||
| // const FF beta_cube = beta_sqr * beta; | ||
| // auto eccvm_set_permutation_delta = | ||
| // gamma * (gamma + beta_sqr) * (gamma + beta_sqr + beta_sqr) * (gamma + beta_sqr + beta_sqr + beta_sqr); | ||
| // eccvm_set_permutation_delta = eccvm_set_permutation_delta.invert(); | ||
| // bb::RelationParameters<typename Flavor::FF> params{ | ||
| // .eta = 0, | ||
| // .beta = beta, | ||
| // .gamma = gamma, | ||
| // .public_input_delta = 0, | ||
| // .lookup_grand_product_delta = 0, | ||
| // .beta_sqr = beta_sqr, | ||
| // .beta_cube = beta_cube, | ||
| // .eccvm_set_permutation_delta = eccvm_set_permutation_delta, | ||
| // }; | ||
|
|
||
| // auto polynomials = compute_polynomials(); | ||
| // const size_t num_rows = polynomials.get_polynomial_size(); | ||
| // compute_logderivative_inverse<Flavor, ECCVMLookupRelation<FF>>(polynomials, params, num_rows); | ||
| // compute_permutation_grand_product<Flavor, ECCVMSetRelation<FF>>(num_rows, polynomials, params); | ||
|
|
||
| // polynomials.z_perm_shift = Polynomial(polynomials.z_perm.shifted()); | ||
|
|
||
| // const auto evaluate_relation = [&]<typename Relation>(const std::string& relation_name) { | ||
| // typename Relation::SumcheckArrayOfValuesOverSubrelations result; | ||
| // for (auto& r : result) { | ||
| // r = 0; | ||
| // } | ||
| // constexpr size_t NUM_SUBRELATIONS = result.size(); | ||
|
|
||
| // for (size_t i = 0; i < num_rows; ++i) { | ||
| // Relation::accumulate(result, polynomials.get_row(i), params, 1); | ||
|
|
||
| // bool x = true; | ||
| // for (size_t j = 0; j < NUM_SUBRELATIONS; ++j) { | ||
| // if (result[j] != 0) { | ||
| // info("Relation ", relation_name, ", subrelation index ", j, " failed at row ", i); | ||
| // x = false; | ||
| // } | ||
| // } | ||
| // if (!x) { | ||
| // return false; | ||
| // } | ||
| // } | ||
| // return true; | ||
| // }; | ||
|
|
||
| // bool result = true; | ||
| // result = | ||
| // result && evaluate_relation.template operator()<ECCVMTranscriptRelation<FF>>("ECCVMTranscriptRelation"); | ||
| // result = | ||
| // result && evaluate_relation.template operator()<ECCVMPointTableRelation<FF>>("ECCVMPointTableRelation"); | ||
| // result = result && evaluate_relation.template operator()<ECCVMWnafRelation<FF>>("ECCVMWnafRelation"); | ||
| // result = result && evaluate_relation.template operator()<ECCVMMSMRelation<FF>>("ECCVMMSMRelation"); | ||
| // result = result && evaluate_relation.template operator()<ECCVMSetRelation<FF>>("ECCVMSetRelation"); | ||
|
|
||
| // using LookupRelation = ECCVMLookupRelation<FF>; | ||
| // typename ECCVMLookupRelation<typename Flavor::FF>::SumcheckArrayOfValuesOverSubrelations lookup_result; | ||
| // for (auto& r : lookup_result) { | ||
| // r = 0; | ||
| // } | ||
| // for (size_t i = 0; i < num_rows; ++i) { | ||
| // LookupRelation::accumulate(lookup_result, polynomials.get_row(i), params, 1); | ||
| // } | ||
| // for (auto r : lookup_result) { | ||
| // if (r != 0) { | ||
| // info("Relation ECCVMLookupRelation failed."); | ||
| // return false; | ||
| // } | ||
| // } | ||
| // return result; | ||
| // } | ||
| // } | ||
| } | ||
| public: | ||
| static bool check_circuit(ECCVMCircuitBuilder&); | ||
| }; | ||
| } // namespace bb |
1 change: 1 addition & 0 deletions
1
barretenberg/cpp/src/barretenberg/honk/proof_system/permutation_library.hpp
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters