Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: prove openings of masking polynomials in ECCVM and Translator #9726

Merged
merged 25 commits into from
Nov 7, 2024
Merged
Changes from 1 commit
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
2c37dc4
shplemini supports opening of libra masking univariates
iakovenkos Oct 28, 2024
7bbacc2
clean-up
iakovenkos Oct 29, 2024
c78ed6e
de-coupled sumcheck from zk sumcheck data
iakovenkos Oct 30, 2024
fe93b4d
eccvm native proves/verifies evals of masking polys
iakovenkos Oct 30, 2024
df7f731
debugging eccvm recursive
iakovenkos Oct 31, 2024
0b3e50a
debugggging still
iakovenkos Oct 31, 2024
525ae12
Merge branch 'master' into si/zk-sumcheck-plus-shplemini
iakovenkos Oct 31, 2024
4298d52
eccvm recursive fixed
iakovenkos Oct 31, 2024
bf468eb
opening proofs for libra polynomials in translator
iakovenkos Nov 4, 2024
ab9b81e
translator relation degree changes reverted
iakovenkos Nov 4, 2024
aca70fa
some clean-up
iakovenkos Nov 4, 2024
b7584ba
removed redundant line
iakovenkos Nov 4, 2024
6403477
clean-up
iakovenkos Nov 4, 2024
bec76b9
Merge branch 'master' into si/zk-sumcheck-plus-shplemini
iakovenkos Nov 4, 2024
8a1e95f
fix: link zero constraint relation in translator
iakovenkos Nov 4, 2024
2504556
fix bb native tests
iakovenkos Nov 5, 2024
d18f0c2
Merge branch 'master' into si/zk-sumcheck-plus-shplemini
iakovenkos Nov 5, 2024
937af2a
clean up
iakovenkos Nov 5, 2024
6824085
Merge branch 'si/zk-sumcheck-plus-shplemini' of github.com:AztecProto…
iakovenkos Nov 5, 2024
95d4160
fix build
iakovenkos Nov 5, 2024
69b913e
clean-up after review
iakovenkos Nov 6, 2024
ed57e42
Merge branch 'master' into si/zk-sumcheck-plus-shplemini
iakovenkos Nov 6, 2024
1775d41
Merge branch 'master' into si/zk-sumcheck-plus-shplemini
iakovenkos Nov 7, 2024
e8c691a
resolve conflicts with 'master'
iakovenkos Nov 7, 2024
5f62335
Merge branch 'master' into si/zk-sumcheck-plus-shplemini
iakovenkos Nov 7, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fix: link zero constraint relation in translator
  • Loading branch information
iakovenkos committed Nov 4, 2024
commit 8a1e95f7fa0320dae92017eca7c6f73ab405c3f4
Original file line number Diff line number Diff line change
@@ -8,4 +8,5 @@ template class TranslatorZeroConstraintsRelationImpl<fr>;

DEFINE_SUMCHECK_RELATION_CLASS(TranslatorOpcodeConstraintRelationImpl, TranslatorFlavor);
DEFINE_SUMCHECK_RELATION_CLASS(TranslatorAccumulatorTransferRelationImpl, TranslatorFlavor);
DEFINE_SUMCHECK_RELATION_CLASS(TranslatorZeroConstraintsRelationImpl, TranslatorFlavor);
} // namespace bb
Original file line number Diff line number Diff line change
@@ -110,7 +110,8 @@ class TranslatorFlavor {
typename TranslatorOpcodeConstraintRelation<FF>::SumcheckTupleOfUnivariatesOverSubrelations,
typename TranslatorAccumulatorTransferRelation<FF>::SumcheckTupleOfUnivariatesOverSubrelations,
typename TranslatorDecompositionRelation<FF>::SumcheckTupleOfUnivariatesOverSubrelations,
typename TranslatorNonNativeFieldRelation<FF>::SumcheckTupleOfUnivariatesOverSubrelations>;
typename TranslatorNonNativeFieldRelation<FF>::SumcheckTupleOfUnivariatesOverSubrelations,
typename TranslatorZeroConstraintsRelation<FF>::SumcheckTupleOfUnivariatesOverSubrelations>;
using TupleOfArraysOfValues = decltype(create_tuple_of_arrays_of_values<Relations>());

/**
Loading