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

fix(lib): temporarily disable kzg check in sgx/sp1 provers #157

Merged
merged 2 commits into from
May 5, 2024

Conversation

Brechtpd
Copy link
Contributor

@Brechtpd Brechtpd commented May 5, 2024

Some problems in SGX and SP1 while proving with the kzg check, so I temporarily disabled them in those provers. Well actually it is currently always disabled because sgx is enabled in the workspace so it will always compile the lib with that feature on, so using features not exactly the best way to do these kind of prover specific things unfortunately.

In SGX (direct mode):

image

In SP1:

image

@Brechtpd Brechtpd requested a review from smtmfft May 5, 2024 00:14
@Brechtpd Brechtpd merged commit 039d2fa into taiko/unstable May 5, 2024
8 checks passed
@Brechtpd Brechtpd deleted the mitigate-kzg branch May 5, 2024 01:04
@smtmfft
Copy link
Contributor

smtmfft commented May 5, 2024

Seems the addr management has different requirement than risc0.

quangtuyen88 pushed a commit to quangtuyen88/raiko that referenced this pull request May 6, 2024
update path for chmod default.json

Added step install nodejs

feat(raiko): enable kzg blob check (taikoxyz#148)

* feat(raiko): enable kzg blob check

* update build script

* update ci

* fix ci

* keep fixing ci

* keep fixing ci - sgx docker build

* fix ci risc0

* update ci env

feat(raiko): generalized build pipeline for ZkVMs guests (taikoxyz#133)

* init + some taiko_util -> util

* pipeline

* example

* r0 bins & tests done

* exmple-sp1 done

* gen proof with unittests

* test harness for sp1 doen + split the builder and driver

* make example a workspace

* change dest param

* harness upgrade

* image id compute

* cleanup

* pipeline api change

* r0 switch builder-driver

* r0 switch builder-driver

* sp1 prover -> driver rename

* sp1 builder

* cargo check passed

* name changes

* commented out sp1 & ris0 flags in irrelavent setup

* fixes + makefile

* update

* clean up

* update CI r0

* update sp1

* add builder to workspace

* sp1 CI permission denied

* add example test in guest + clippy

* add test to CI

* fmt & fix CI bug

* test with --release + toolchain

* fix

* fix docker

* add CC support for c-kzg

* trait Pipeline impl in specific builder

* fix ci

* download & verify riscv-gcc-prebuilt

* Update pipeline/src/lib.rs

* update script

* Updated readme + fix local building

* cargo: -> cargo::

---------

Co-authored-by: Brechtpd <Brechtp.devos@gmail.com>

fix(lib): temporarily disable kzg check in sgx/sp1 provers (taikoxyz#157)

* temporarily disable kzg check in sgx/sp1 provers

* fix typo

fast on-chain register + change path before clone repo
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.

2 participants