feat(prover): sp1 onchain verifier (#229)

* instance_hash

* change pi + copied sp1 templete

* get rid of host-side matches

* get rid of sol

* fix

* delete contracts

* fmt clippy

* fix ci

* fix

* fmt clippy

* fix ci

* fmt

* fix

* delet test generated json

* fmt

* delet test generated json

* tmp

* fix

* fix

* Update lib.rs

* Update lib/src/consts.rs

* RawGuestOutput

* fix

* Raiko.sol

* test runs but fail

* apply comments

* fmt

* "v1.0.0-testnet"

* test fix

* updated elf

* debug sp1

* fix

* unwrap_or_default

* fix: let config_path in config_dir (#233)

* fix: let config_path in config_dir

* fix: save updated config in new path

* chore(docker): use same image when pulling to avoid different binary id (#234)

Signed-off-by: smtmfft <smtm@taiko.xyz>

* feat(raiko): update chain spec (#235)

* update chain spec

Signed-off-by: smtmfft <smtm@taiko.xyz>

* update rpc & name

Signed-off-by: smtmfft <smtm@taiko.xyz>

---------

Signed-off-by: smtmfft <smtm@taiko.xyz>

* feat: use spec in setup (#236)

* feat: use spec in setup

* refactor: update docker-compose.yml to use correct file paths

* chore(docker): fix docker build (#237)

* fix docker build

Signed-off-by: smtmfft <smtm@taiko.xyz>

* fix: some docker stuff (#239)

---------

Signed-off-by: smtmfft <smtm@taiko.xyz>
Co-authored-by: johntaiko <john@taiko.xyz>

* chore(raiko): revert docker build changes (#240)

* Revert "chore(docker): fix docker build (#237)"

This reverts commit 520df33.

* Revert "feat: use spec in setup (#236)"

This reverts commit cd097a5.

* fix: docker stuff (#241)

* fix: docker stuff

* chore(docker): update entrypoint.sh to include L1 and L2 network options

* chore(docker): remove unnecessary echo command in entrypoint.sh

* fmt

* sgx_verifier_addr

* fix

* fmt

* fix

* skip_verify_blob false

* e2e save_test_input

* chore(main): release 1.0.0

* clean build

* fmt clippy

* fix

* debugging script

* revert to sp1 main branch

* e2e input pulling + succinct api

* update

* fmt

* fmt

* update toolchain

* dotenv

* fmt

* fix ci

* update script

* fix prove-block for taiko_mainnet (#258)

* add form (#265)

* refactor(harness): small code readability and lint fixes (#259)

* refactor(harness): small code readability and lint fixes

* fix(harness): add return statement

* chore(readme): update spacing and code block syntax (#260)

* fix(host): add guest request count and make concurrent request decrementation more ergonomic (#261)

* refactor: move out core into separate crate (#247)

* refactor: Move out core into separate crate

Make host only responsible for running server and docs creation

* fix: Update imports

* fix: Unignore core directory for docker

* chore(repo): merge updates from main

* refactor(lib): cleanup unwrap for chain specs struct

* chore(repo): rebase main into core-extract

* fix toolchain

* chore: address dockerfile lints (#255)

* refactor(host): simplify getting and setting cached files (#262)

* git submodule

* NativeParam, write_guest_input_path

* delete extra code & primitives

* update cargo.lock

* remove default = ["sgx"]

* [dependencies]
sgx-prover = { path = "../prover", features = ["enable"]}

* fix

* update verifer

* fix guest

* update

* forge install: sp1-contracts

* forge test runs but real verification failed

* fix

* fix r0 builder

* add flags

* name change

* update

* bd latest status

* gitmodules & ignore

* update

* tag = "v1.0.5-testnet"

* fixed serialization problem in alloy null_or_default

* verification passed

* update

* debug sig verification

* ecrecover fixed

* contract should be good

* network + block args

* network + block args

* e2e done

* submodule

* Update .gitmodules

* git moduele

* clippy & fmt

* update

* fix some somments & CI

* /home/runner/.sp1/bin/sp1up

* rps should be good

* changed sp1 verifier

* update script & README

* fix clippy & fmt

* typo

* your_private_key

* update

* clippy & fmt

* cargo updates & clippy

* fix sys_rand for v1.0.5-testnet

* fix rand dep

* update

* fix merge

* clippy & fix

* remove forge + submodule

* fix ci

* sp1 "prover": "mock"

* fix test_generate_input_from_cache

* fmt

---------

Signed-off-by: smtmfft <smtm@taiko.xyz>
Co-authored-by: Brechtpd <Brechtp.devos@gmail.com>
Co-authored-by: johntaiko <john@taiko.xyz>
Co-authored-by: smtmfft <99081233+smtmfft@users.noreply.github.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Roger <50648015+RogerLamTd@users.noreply.github.com>
Co-authored-by: Petar Vujović <petarvujovic98@gmail.com>

.env

@@ -0,0 +1,3 @@
+SP1_PROVER=network
+SP1_PRIVATE_KEY=your_private_key
+RUST_LOG=info

.github/workflows/ci-build-test-reusable.yml

@@ -11,6 +11,7 @@ on:
         required: true
 
 env:
+  CI: 1
   CARGO_TERM_COLOR: always
   GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 

.github/workflows/ci-sp1.yml

@@ -12,7 +12,7 @@ on:
   merge_group:
 
 jobs:
-  build-test-sgx:
+  build-test-sp1:
     name: Build and test sp1
     uses: ./.github/workflows/ci-build-test-reusable.yml
     with: