This repository has been archived by the owner on Jul 5, 2024. It is now read-only.
Integrating FFT & Memory Optimization #1655
Closed
Conversation
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
* feat: add anchor transaction circuit * chore: improve comment * fix: clippy complain * feat: add tests * chore: update method signature * fix: clippy * feat: support meta hash * chore: improve the comment * chore: use LookupTable for readable * improve: readable * fix: query columns cross different regions * fix: sign verify test case * fix: add r == GX2 test case * chore: clippy complain * Some misc small improvements * improve: code clean * fix(IsEqual): alloc value_inv with closure * fix: clippy complain * Revert some formatting only changes * Simplify byte lookup --------- Co-authored-by: Brechtpd <Brechtp.devos@gmail.com>
…it (#120) * Use Taiko url * Update * Add tests/taiko_circuits.rs * Add tests/taiko_circuit_input_builder.rs * Revert changes * Update * Update * Refactor * Update * Update * Update * Update keccak_inputs in block_convert * Update * Update
* Recursion PoC * Remove unnecessary proof * fix: use block_table as lookup * feat: add taiko_super_circuit for our recursion proof * reset super_circuit * feat: benchmarks/super_circuit use taiko super circuit * fix: clippy * fix: benchmark * fix: remove unused selectors * use root circuit to pass instances * make root circuit support multi sub-circuits * use new pcd aggregation circuit * add N->1 aggregation testcase * add new circuit file * make PCDAggregationCircuit generic for both GWC & SHPLONK * make PCDAggregationCircuit generic for both GWC & SHPLONK * Update zkevm-circuits/src/witness/block.rs Co-authored-by: Brecht Devos <Brechtp.Devos@gmail.com> * update lib * fix name * fix: remove unused selectors * feat: add anchor circuit into super circuit * fix: load pi_table * rename pcd aggregation circuit * fix: super circuit test cases * fix: benchmark * move test in taiko super circuit to test.rs * remove deprecated function and fix test * clean compile warnings * fix(test): test-all relevant to taiko * feat: export the metahash * chore: move golden touch wallet into test * fix: use protocol instance in block witness * Fix 2tx test issue * Re-enable PSE PI tests that were temporarily disabled * Update zkevm-circuits/src/root_circuit/taiko_aggregation.rs Co-authored-by: Brecht Devos <Brechtp.Devos@gmail.com> * fix: pi-circuit tests * fix: ignore the anchor tx's fee * fix: anchor tx without fee * fix: each params will be up to u256 * fix: gas price non zero * fix(anchor): calldata with fixed 32B * feat: add anchor flag and support multi V * fix: anchor method signature changed * fix(anchor): error randomness * fix: clippy complain * Fix make test-all + Feedback changes --------- Co-authored-by: johntaiko <john@taiko.xyz> Co-authored-by: smtmfft <smtm@taiko.xyz> Co-authored-by: smtmfft <99081233+smtmfft@users.noreply.github.com>
This commit introduces the support for precompiled contracts. For more information, check the appendix E of the Ethereum Yellow Paper. It is a simplified version of the identity precompile PR of PSE. It strips the implementation of the identity precompile variant, leaving only the skeleton for the lookup table calls. [Ethereum Yellow Paper](https://ethereum.github.io/yellowpaper/paper.pdf) [Identity (dataCopy) precompile privacy-scaling-explorations#1396](privacy-scaling-explorations#1396)
Co-authored-by: Brecht Devos <Brechtp.Devos@gmail.com>
Co-authored-by: Brecht Devos <Brechtp.Devos@gmail.com>
Co-authored-by: Brecht Devos <Brechtp.Devos@gmail.com>
Support eip-1559 and Evm-circuit in aggregation
Signed-off-by: smtmfft <smtm@taiko.xyz>
Signed-off-by: smtmfft <smtm@taiko.xyz>
Co-authored-by: Brecht Devos <Brechtp.Devos@gmail.com>
Co-authored-by: Brecht Devos <Brechtp.Devos@gmail.com>
Signed-off-by: smtmfft <smtm@taiko.xyz>
Signed-off-by: smtmfft <smtm@taiko.xyz>
Add circuits for a6 release
github-actions
bot
added
crate-bus-mapping
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
From Einar
taikoxyz/halo2/pull/6
taikoxyz/halo2/pull/4
Neet to fork these repo and change the dependency.