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.

Sign up for GitHub

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

Jump to bottom

feat(prover): sp1 onchain verifier #229

Merged
merged 149 commits into from
Jul 26, 2024
Merged

feat(prover): sp1 onchain verifier #229

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
149 commits
Select commit Hold shift + click to select a range
724e6d0
instance_hash
CeciliaZ030 May 21, 2024
4e8b59a
change pi + copied sp1 templete
CeciliaZ030 May 21, 2024
81c2007
get rid of host-side matches
CeciliaZ030 May 21, 2024
70c2673
get rid of sol
CeciliaZ030 May 21, 2024
112d90d
fix
CeciliaZ030 May 21, 2024
fac4b14
delete contracts
CeciliaZ030 May 21, 2024
f3b9999
fmt clippy
CeciliaZ030 May 21, 2024
896c6df
fix ci
CeciliaZ030 May 21, 2024
bdd07b0
Merge branch 'main' into unify-pi
CeciliaZ030 May 21, 2024
d7fa70c
fix
CeciliaZ030 May 21, 2024
dc2f94d
fmt clippy
CeciliaZ030 May 21, 2024
cca9f77
fix ci
CeciliaZ030 May 21, 2024
cb8d3be
fmt
CeciliaZ030 May 21, 2024
bc00497
fix
CeciliaZ030 May 21, 2024
04fa124
delet test generated json
CeciliaZ030 May 21, 2024
a4b5af8
fmt
CeciliaZ030 May 21, 2024
5af97c1
delet test generated json
CeciliaZ030 May 21, 2024
74f078f
tmp
CeciliaZ030 May 21, 2024
df45421
fix
CeciliaZ030 May 21, 2024
65dd7f9
fix
CeciliaZ030 May 21, 2024
6815a24
Update lib.rs
CeciliaZ030 May 21, 2024
c7a3069
Update lib/src/consts.rs
CeciliaZ030 May 21, 2024
c884e9f
RawGuestOutput
CeciliaZ030 May 22, 2024
d46f5b5
fix
CeciliaZ030 May 22, 2024
b70b0d1
Raiko.sol
CeciliaZ030 May 22, 2024
1442095
test runs but fail
CeciliaZ030 May 22, 2024
756a2a8
apply comments
CeciliaZ030 May 22, 2024
5a5fd70
fmt
CeciliaZ030 May 22, 2024
401baab
Merge branch 'main' into unify-pi
CeciliaZ030 May 22, 2024
77a9e11
"v1.0.0-testnet"
CeciliaZ030 May 22, 2024
2bd3768
test fix
Brechtpd May 22, 2024
9fa373e
Merge remote-tracking branch 'origin/sp1-onchain-verifier' into sp1-o…
Brechtpd May 22, 2024
e7592e6
updated elf
CeciliaZ030 May 22, 2024
bfb2ece
debug sp1
CeciliaZ030 May 22, 2024
6b02fff
Merge branch 'unify-pi' into sp1-onchain-verifier
CeciliaZ030 May 22, 2024
2ec3cd4
fix
CeciliaZ030 May 22, 2024
4578bb0
unwrap_or_default
CeciliaZ030 May 22, 2024
c2e5554
fix: let config_path in config_dir (#233)
johntaiko May 22, 2024
eef94ac
chore(docker): use same image when pulling to avoid different binary …
smtmfft May 22, 2024
8ec2892
feat(raiko): update chain spec (#235)
smtmfft May 22, 2024
909e7c8
feat: use spec in setup (#236)
johntaiko May 22, 2024
5ba5809
chore(docker): fix docker build (#237)
smtmfft May 22, 2024
70e8305
chore(raiko): revert docker build changes (#240)
smtmfft May 22, 2024
496a7ed
fix: docker stuff (#241)
johntaiko May 22, 2024
892326a
fmt
CeciliaZ030 May 22, 2024
252ee85
sgx_verifier_addr
CeciliaZ030 May 22, 2024
fb6661f
Merge branch 'main' into unify-pi
CeciliaZ030 May 22, 2024
aecff60
fix
CeciliaZ030 May 22, 2024
b1ebad8
fmt
CeciliaZ030 May 22, 2024
8ed39f8
Merge branch 'unify-pi' into sp1-onchain-verifier
CeciliaZ030 May 22, 2024
b3215c7
fix
CeciliaZ030 May 22, 2024
9e19230
skip_verify_blob false
CeciliaZ030 May 22, 2024
1bbddd4
e2e save_test_input
CeciliaZ030 May 23, 2024
b457dd2
chore(main): release 1.0.0
github-actions[bot] May 23, 2024
125e20c
clean build
CeciliaZ030 May 23, 2024
f22b4c4
fmt clippy
CeciliaZ030 May 23, 2024
cc1ceda
Merge remote-tracking branch 'origin/release-please--branches--main' …
CeciliaZ030 May 23, 2024
fba8a0d
fix
CeciliaZ030 May 23, 2024
083e124
debugging script
CeciliaZ030 May 23, 2024
77baf51
revert to sp1 main branch
CeciliaZ030 May 23, 2024
06a80c1
Merge branch 'main' into unify-pi
CeciliaZ030 May 24, 2024
348f7fc
e2e input pulling + succinct api
CeciliaZ030 May 24, 2024
804ffda
update
CeciliaZ030 May 24, 2024
9f3b2f3
Merge branch 'main' into sp1-onchain-verifier
CeciliaZ030 May 24, 2024
a8d5744
fmt
CeciliaZ030 May 24, 2024
c0f00ba
Merge branch 'unify-pi' into sp1-onchain-verifier
CeciliaZ030 May 24, 2024
6af288b
fmt
CeciliaZ030 May 24, 2024
4f4cb42
update toolchain
CeciliaZ030 May 24, 2024
809174b
Merge remote-tracking branch 'origin/main' into sp1-onchain-verifier
CeciliaZ030 May 24, 2024
db4e375
dotenv
CeciliaZ030 May 25, 2024
9576371
Merge remote-tracking branch 'origin/main' into sp1-onchain-verifier
CeciliaZ030 May 25, 2024
da4d4d7
fmt
CeciliaZ030 May 25, 2024
5dd1b8e
fix ci
CeciliaZ030 May 27, 2024
f5065c6
update script
CeciliaZ030 May 27, 2024
e3faaa6
fix prove-block for taiko_mainnet (#258)
Brechtpd May 26, 2024
8d3a47e
add form (#265)
RogerLamTd May 27, 2024
2d8d32a
refactor(harness): small code readability and lint fixes (#259)
petarvujovic98 May 27, 2024
2fb617f
chore(readme): update spacing and code block syntax (#260)
petarvujovic98 May 27, 2024
70da5ae
fix(host): add guest request count and make concurrent request decrem…
petarvujovic98 May 27, 2024
a629f63
refactor: move out core into separate crate (#247)
petarvujovic98 May 27, 2024
ac5d0d2
Merge branch 'main' into sp1-onchain-verifier
CeciliaZ030 May 27, 2024
b6b2eb1
Merge branch 'main' into sp1-onchain-verifier
CeciliaZ030 May 27, 2024
ec7c998
fix toolchain
CeciliaZ030 May 27, 2024
96131d1
chore: address dockerfile lints (#255)
petarvujovic98 May 27, 2024
499199a
refactor(host): simplify getting and setting cached files (#262)
petarvujovic98 May 27, 2024
5d50beb
git submodule
CeciliaZ030 May 27, 2024
298919b
Merge branch 'main' into sp1-onchain-verifier
CeciliaZ030 May 27, 2024
1946a1e
NativeParam, write_guest_input_path
CeciliaZ030 Jun 4, 2024
a596497
Merge remote-tracking branch 'origin/sp1-onchain-verifier' into sp1-o…
CeciliaZ030 Jun 9, 2024
d16a026
delete extra code & primitives
CeciliaZ030 Jun 9, 2024
43ec2d2
update cargo.lock
CeciliaZ030 Jun 9, 2024
02efe41
remove default = ["sgx"]
CeciliaZ030 Jun 9, 2024
293cef5
[dependencies]
CeciliaZ030 Jun 9, 2024
1669624
Merge remote-tracking branch 'origin/main' into sp1-onchain-verifier
CeciliaZ030 Jul 13, 2024
15c9dbe
fix
CeciliaZ030 Jul 13, 2024
9260858
update verifer
CeciliaZ030 Jul 13, 2024
0abbeec
fix guest
CeciliaZ030 Jul 13, 2024
ef9a7de
update
CeciliaZ030 Jul 14, 2024
6764e7a
forge install: sp1-contracts
CeciliaZ030 Jul 14, 2024
039c1df
forge test runs but real verification failed
CeciliaZ030 Jul 14, 2024
8f65c61
fix
CeciliaZ030 Jul 14, 2024
b5327ac
fix r0 builder
CeciliaZ030 Jul 15, 2024
ccd962a
add flags
CeciliaZ030 Jul 15, 2024
4ca63b9
name change
CeciliaZ030 Jul 15, 2024
73377cc
update
CeciliaZ030 Jul 15, 2024
379a74e
bd latest status
CeciliaZ030 Jul 15, 2024
f0e3f97
Merge branch 'cecilia-tasks-fix' into sp1-onchain-verifier
CeciliaZ030 Jul 15, 2024
fffe1cd
gitmodules & ignore
CeciliaZ030 Jul 16, 2024
1eb13ec
update
CeciliaZ030 Jul 16, 2024
d06c4b3
tag = "v1.0.5-testnet"
CeciliaZ030 Jul 17, 2024
9700fd3
fixed serialization problem in alloy null_or_default
CeciliaZ030 Jul 18, 2024
2be17bc
verification passed
CeciliaZ030 Jul 18, 2024
28ad03f
update
CeciliaZ030 Jul 19, 2024
03617e9
debug sig verification
CeciliaZ030 Jul 19, 2024
3ae5b8e
ecrecover fixed
CeciliaZ030 Jul 20, 2024
ed35fe0
contract should be good
CeciliaZ030 Jul 20, 2024
d0c63d4
network + block args
CeciliaZ030 Jul 21, 2024
715211d
network + block args
CeciliaZ030 Jul 21, 2024
79a7335
e2e done
CeciliaZ030 Jul 21, 2024
9627fd0
Merge branch 'main' into sp1-onchain-verifier
CeciliaZ030 Jul 21, 2024
a821a31
submodule
CeciliaZ030 Jul 21, 2024
7058719
Update .gitmodules
CeciliaZ030 Jul 21, 2024
70069dc
git moduele
CeciliaZ030 Jul 21, 2024
707ff8e
update
CeciliaZ030 Jul 21, 2024
e19ad01
clippy & fmt
CeciliaZ030 Jul 21, 2024
b09fd3a
update
CeciliaZ030 Jul 21, 2024
dde0284
fix some somments & CI
CeciliaZ030 Jul 22, 2024
8e34344
/home/runner/.sp1/bin/sp1up
CeciliaZ030 Jul 22, 2024
282e4e2
rps should be good
CeciliaZ030 Jul 22, 2024
d5c781d
changed sp1 verifier
CeciliaZ030 Jul 22, 2024
67a0b04
update script & README
CeciliaZ030 Jul 22, 2024
05b9478
fix clippy & fmt
CeciliaZ030 Jul 22, 2024
5e2b45c
typo
CeciliaZ030 Jul 22, 2024
e7dd440
your_private_key
CeciliaZ030 Jul 22, 2024
0d25a8e
Merge remote-tracking branch 'origin/main' into sp1-onchain-verifier
CeciliaZ030 Jul 22, 2024
d047f5a
update
CeciliaZ030 Jul 22, 2024
ee8ecec
clippy & fmt
CeciliaZ030 Jul 22, 2024
7fccc1a
cargo updates & clippy
CeciliaZ030 Jul 23, 2024
0f1ac42
fix sys_rand for v1.0.5-testnet
CeciliaZ030 Jul 24, 2024
23809f7
fix rand dep
CeciliaZ030 Jul 24, 2024
79ef3a1
update
CeciliaZ030 Jul 24, 2024
e5ad880
Merge remote-tracking branch 'origin/main' into sp1-onchain-verifier
CeciliaZ030 Jul 24, 2024
63afd8e
fix merge
CeciliaZ030 Jul 24, 2024
b73bd35
clippy & fix
CeciliaZ030 Jul 24, 2024
a8fccc8
remove forge + submodule
CeciliaZ030 Jul 24, 2024
197c720
fix ci
CeciliaZ030 Jul 24, 2024
c0bc616
sp1 "prover": "mock"
CeciliaZ030 Jul 25, 2024
7310921
fix test_generate_input_from_cache
CeciliaZ030 Jul 26, 2024
fae60c1
fmt
CeciliaZ030 Jul 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .env
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
SP1_PROVER=network
SP1_PRIVATE_KEY=your_private_key
RUST_LOG=info
1 change: 1 addition & 0 deletions .github/workflows/ci-build-test-reusable.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@ on:
required: true

env:
CI: 1
CARGO_TERM_COLOR: always
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci-sp1.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down
Loading
Loading