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: tee_verifier_input_producer #1860

Merged
merged 2 commits into from
May 14, 2024
Merged

feat: tee_verifier_input_producer #1860

merged 2 commits into from
May 14, 2024

Conversation

haraldh
Copy link
Collaborator

@haraldh haraldh commented May 6, 2024

What ❔

Extract all data needed to re-execute and verify an L1Batch without accessing the DB and/or the object store.

For testing purposes, the L1 batch is re-executed immediately for now. Eventually, this component will only extract the inputs and send them to another machine over a "to be defined" channel, e.g., save them to an object store.

Why ❔

Have an additional proof 2F verification running inside a TEE

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted via zk fmt and zk lint.
  • Spellcheck has been run via zk spellcheck.
  • Linkcheck has been run via zk linkcheck.

@haraldh haraldh requested review from popzxc, Deniallugo and EmilLuta May 6, 2024 14:18
@haraldh
Copy link
Collaborator Author

haraldh commented May 6, 2024

@haraldh haraldh force-pushed the tee_verifier_test branch 5 times, most recently from ecd6fd6 to 6d9cecd Compare May 7, 2024 07:24
@haraldh haraldh force-pushed the tee_verifier_test branch 2 times, most recently from 01a7a6b to fbd8215 Compare May 9, 2024 05:17
@haraldh haraldh requested a review from RomanBrodetski May 9, 2024 05:37
@pbeza
Copy link
Contributor

pbeza commented May 11, 2024

I can't force-push to this branch (no permission), but if you need a version that's rebased on the latest main, check out this PR.

@haraldh haraldh force-pushed the tee_verifier_test branch from fbd8215 to bff9730 Compare May 13, 2024 08:55
@haraldh
Copy link
Collaborator Author

haraldh commented May 13, 2024

I can't force-push to this branch (no permission), but if you need a version that's rebased on the latest main, check out this PR.

pushed your version + plus your comment fix

@haraldh haraldh force-pushed the tee_verifier_test branch 2 times, most recently from 0cf5623 to e84321a Compare May 13, 2024 08:58
@haraldh haraldh requested a review from popzxc May 13, 2024 08:59
@haraldh haraldh force-pushed the tee_verifier_test branch 5 times, most recently from dbdfc13 to f98cc48 Compare May 13, 2024 12:27
@haraldh haraldh requested a review from pbeza May 13, 2024 13:48
popzxc
popzxc previously approved these changes May 14, 2024
@haraldh haraldh force-pushed the tee_verifier_test branch 3 times, most recently from 353398f to cd5c5aa Compare May 14, 2024 10:35
@haraldh haraldh force-pushed the tee_verifier_test branch from cd5c5aa to 15508ab Compare May 14, 2024 11:35
haraldh and others added 2 commits May 14, 2024 13:37
Extract all data needed to re-execute and verify an L1Batch without accessing
the DB and/or the object store.

For testing purposes, the L1 batch is re-executed immediately for now.
Eventually, this component will only extract the inputs and send them to another
machine over a "to be defined" channel, e.g., save them to an object store.

Co-authored-by: Thomas Knauth <[email protected]>
Co-authored-by: Patrick Bęza <[email protected]>
Signed-off-by: Harald Hoyer <[email protected]>
@haraldh haraldh force-pushed the tee_verifier_test branch from 15508ab to fd0f4f3 Compare May 14, 2024 11:37
@haraldh haraldh requested review from popzxc and mm-zk May 14, 2024 11:38
@haraldh haraldh added this pull request to the merge queue May 14, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 14, 2024
@haraldh haraldh added this pull request to the merge queue May 14, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 14, 2024
@haraldh haraldh added this pull request to the merge queue May 14, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 14, 2024
@haraldh haraldh added this pull request to the merge queue May 14, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 14, 2024
@haraldh haraldh added this pull request to the merge queue May 14, 2024
Merged via the queue into main with commit fea7f16 May 14, 2024
50 checks passed
@haraldh haraldh deleted the tee_verifier_test branch May 14, 2024 17:26
RomanBrodetski pushed a commit that referenced this pull request May 17, 2024
🤖 I have created a release *beep* *boop*
---


##
[24.3.0](core-v24.2.0...core-v24.3.0)
(2024-05-16)


### Features

* Added support for making EN a (non-leader) consensus validator
(BFT-426)
([#1905](#1905))
([9973629](9973629))
* **configs:** Extract secrets to an additional config
([#1956](#1956))
([bab4d65](bab4d65))
* **en:** Fetch L1 batch root hashes from main node
([#1923](#1923))
([72a3571](72a3571))
* **eth-client:** Generalize RPC client
([#1898](#1898))
([a4e099f](a4e099f))
* **Prover CLI:** `requeue` cmd
([#1719](#1719))
([f722df7](f722df7))
* **Prover CLI:** `status batch --verbose`
([#1899](#1899))
([cf80184](cf80184))
* **pruning:** Vacuum freeze started daily
([#1929](#1929))
([5c85e9f](5c85e9f))
* Remove metrics crate
([#1902](#1902))
([5f7bda7](5f7bda7))
* **state-keeper:** Parallel l2 block sealing
([#1801](#1801))
([9b06dd8](9b06dd8))
* tee_verifier_input_producer
([#1860](#1860))
([fea7f16](fea7f16))
* **vm-runner:** implement output handler for VM runner
([#1856](#1856))
([1e4aeb5](1e4aeb5))


### Bug Fixes

* **basic_types:** bincode deserialization for `web3::Bytes`
([#1928](#1928))
([406ec8c](406ec8c))
* **config:** Fix data-handler-config
([#1919](#1919))
([b6bb041](b6bb041))
* **en:** Delete old txs by (init_addr, nonce)
([#1942](#1942))
([fa5f4a7](fa5f4a7))
* **en:** Fix reorg detector logic for dealing with last L1 batch
([#1906](#1906))
([3af5f5b](3af5f5b))
* parentHash in websocket blocks subscription is shown as 0x0
([#1946](#1946))
([fc2efad](fc2efad))
* **Prover CLI:** `status batch` bugs
([#1865](#1865))
([09682f2](09682f2))
* **utils:** bincode ser-/deserialization for `BytesToHexSerde`
([#1947](#1947))
([a75b917](a75b917))

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).

---------

Co-authored-by: zksync-era-bot <[email protected]>
RomanBrodetski pushed a commit that referenced this pull request May 17, 2024
🤖 I have created a release *beep* *boop*
---


##
[14.2.0](prover-v14.1.1...prover-v14.2.0)
(2024-05-17)


### Features

* Added support for making EN a (non-leader) consensus validator
(BFT-426)
([#1905](#1905))
([9973629](9973629))
* **configs:** Extract secrets to an additional config
([#1956](#1956))
([bab4d65](bab4d65))
* **eth-client:** Generalize RPC client
([#1898](#1898))
([a4e099f](a4e099f))
* **Prover CLI:** `delete` cmd
([#1802](#1802))
([6e4a92e](6e4a92e))
* **Prover CLI:** `requeue` cmd
([#1719](#1719))
([f722df7](f722df7))
* **Prover CLI:** `status batch --verbose`
([#1899](#1899))
([cf80184](cf80184))
* **state-keeper:** Parallel l2 block sealing
([#1801](#1801))
([9b06dd8](9b06dd8))
* tee_verifier_input_producer
([#1860](#1860))
([fea7f16](fea7f16))


### Bug Fixes

* **Prover CLI:** `status batch` bugs
([#1865](#1865))
([09682f2](09682f2))
* **prover:** Bump Cargo.lock and update VKs
([#1959](#1959))
([367baad](367baad))

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants