* added the verifier check for local opening
* fixed the edge case for product
---------
Co-authored-by: AlexandreBelling <alexandrebelling8@gmail.com>
* feat: add IsActive to Unaligned pairing data submodule
* feat: only unaligned g2 data or pairing data active at a time
* chore: use common constraint for pairwise exclusive columns
* fix: exclusive Miller loop and final exp masks
* fix: remove double constraints
* test: unaligned pairing data IsActive unit test
* chore: use common cs for accumulator masks
* chore: remove duplicate constraint
* chore: use unaligned pairing data IsActive
* fix: add constraints when zero-ness cannot be deduced from projection or other constraints
* chore: use common constraints for binary
* chore: use common constraint for zero when inactive
* fix: enforce IsActive activation
* chore: use common constraint for binary
* chore: use common cs for zero when inactive
* fix: enforce activation constraints for ecdata antichamber
* ignore queries over the eligible columns
* adding the constraints
* fix the golangci-lint error
* organizing the package
* adding a missing verifier check
* support shifted version of verifier columns
* adding a test case for verifier columns
* readding the old splitter
* fixes for the 257 issue
* add fix in ScanStream
* fix the tests related to change in NewHas
* fixed the antichamber test for correct index generation
---------
Co-authored-by: Soleimani193 <azam.soleimanian@ens.fr>
* bump go-corset to latest version and tidy dependencies
* bump golang version from 1.22.2-alpine to 1.22.7-alpine
* fix maxNumBlock in packing test
---------
Co-authored-by: AlexandreBelling <alexandrebelling8@gmail.com>
* feat(limits): unhardcode the keccak limits
* limits(shomei): double the state limits
* fix(rlpaddr): uses the right stamp column for rlpaddr
* fix(ecpair): fix 1 invalid constraints and a bug in the assignment
* log(plonk): logs which circuit is failing in plonk-in-wizard
* log(projection): print a more informative message when a projection query fails
* feat(csv): adds more options to FmtCSV
* fix(mimc): removes a non-necessary constraint for mimc padding
* fix(mimc): address the edge-case where the mimc data size is a multiple of 31
* fix(sha2): uses the correct selectors to extract the sha2 hashes
* chores(makefile): dont recreate the zkevm.bin when linting or running the checker
* chore(make): adds the bin/checker in the .PHONY
* chores(cs): bump the constraints to rc7
* fix(arithmetization): fix invalid casting into a variable
* scanning the compiler trace for the eligible column
* committing to the eligible columns
* replacing the eligible subcolumns with their stitching
* local opening constraints
* eligible expression for the compilation
* ignoring the queries over the eligible columns
* local constraints
*global constraints
* supporting the verifier col in the expression
* expanding the verifier columns per expression
* adding the verifier's checks for the very small columns
---------
Signed-off-by: Leo Jeong <dreamerty@postech.ac.kr>
Co-authored-by: Leo Jeong <dreamerty@postech.ac.kr>
* feat(fft): adds the changes on the committed fft
* feat(fft): adds the changes related to vortex
* feat(pooled): adds changes related to the pooled smart vector
* feat(pool): implements a multi-level caching system for the pool
* fix(sym): make sure that all the nodes are freed
* feat(pool): implements a DebugPool to debug leakage to gc
* feat(parallel): implements a channel based parallelization template
* test(pool): ensure that symbolic evaluation does not leak to gc
* fixup(par): adds a wg to the workload worker
* create an prover-checker that can be used for checking
* feat(check-only): adds a check-only mode in the config
* test(smartvectors): update the tests
* chores(makefile): rm corset flags from the unneeding commands
* remove the change on config-benchmark
* perf(pool): Use the pool for regular massive FFT workload
* feat(corset): implements and test the constraint declaration
* feat: integrate all the changes in the wizard
* tmp(mod): points to the go-corset feature branch
* feat(corset) register interleaved columns
* chores(mod): uses latest go corset to include the optimizations
* disable the problematic linters
* ignore the arithmetization folder in the linting process
* adds zkevm.bin in the repo
* fix simplified public input embedding
* update integration test
* build bump go-ethereum version
* fix pi setup in integration test
* feat dummy pi circuit
* refactor move ToVariableSlice to utils
* test small "integration test" for aggr
* fix max = 0 edge case for NewRange
* truncate cvks (unnecessary)
* build update gnark dep
* refactor simplify aggregation backend logic
* bench(expr): Creates a unit-benchmark to help optimizing the expressions
* adds the cbor attribute
* commit zip file instead of the plain cbor object
