Skip to content

Commit

Permalink
update step do onchain RA
Browse files Browse the repository at this point in the history
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
  • Loading branch information
tquangtuyen committed May 6, 2024
1 parent a292f13 commit 6328bc8
Show file tree
Hide file tree
Showing 98 changed files with 332,949 additions and 457 deletions.
4 changes: 3 additions & 1 deletion .dockerignore
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,9 @@
!/primitives
!/provers
!/host
!/pipeline
!/rust-toolchain
!/taiko.toml
!/tests
!/setup
!/setup
!/kzg_settings_raw.bin
26 changes: 0 additions & 26 deletions .github/toolchain-before.sh

This file was deleted.

40 changes: 25 additions & 15 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,53 +24,63 @@ jobs:
- uses: actions/checkout@v4
with:
submodules: recursive
- run: .github/toolchain-before.sh risc0
- run: scripts/toolchain-before.sh risc0
- uses: actions-rs/toolchain@v1
with:
profile: minimal
- run: .github/toolchain-after.sh risc0
- run: scripts/toolchain-after.sh risc0
- uses: risc0/risc0/.github/actions/sccache@release-0.19
- name: Install cargo-binstall
uses: cargo-bins/cargo-binstall@v1.6.4
- run: cargo binstall -y --force cargo-risczero
- run: cargo risczero install
- run: cargo build -p risc0-prover --features enable
- run: cargo test -p risc0-prover --features enable
- name: Install cargo-risczero
run: |
cargo binstall -y --force cargo-risczero
cargo risczero install
- name: Build risc0 guest target
run: cargo run --bin risc0-builder
- name: Build risc0 prover
run: cargo build --release --features risc0
- name: Test risc0 prover
run: cargo test -p risc0-driver --features enable

build-test-sp1:
name: Build and test sp1
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v4
- run: .github/toolchain-before.sh sp1
- run: scripts/toolchain-before.sh sp1
- uses: actions-rs/toolchain@v1
with:
profile: minimal
- run: .github/toolchain-after.sh sp1
- name: Setup and build
- run: scripts/toolchain-after.sh sp1
- name: Install sp1
run: |
curl -L https://sp1.succinct.xyz | bash
echo "/home/runner/.config/.sp1/bin" >> $GITHUB_PATH
/home/runner/.config/.sp1/bin/sp1up
cargo build -p sp1-prover --features enable
cargo test -p sp1-prover --features enable
shell: bash
- name: Build sp1 guest target
run: cargo run --bin sp1-builder
- name: Build sp1 prover
run: cargo build --release --features sp1
- name: Test sp1 prover
run: cargo test -p sp1-driver --features enable --release

build-test-sgx:
name: Build and test sgx
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v4
- run: .github/toolchain-before.sh sgx
- run: scripts/toolchain-before.sh sgx
- uses: actions-rs/toolchain@v1
with:
profile: minimal
- run: .github/toolchain-after.sh sgx
- run: scripts/toolchain-after.sh sgx
- name: Setup and build
run: |
cargo build --features sgx
cargo test -p sgx-prover --features enable
cargo test -p sgx-prover --features enable --release
shell: bash

build-test-sgx-with-docker:
Expand Down
Loading

0 comments on commit 6328bc8

Please sign in to comment.