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

Sbp 12 implement bridge client modes #8

Closed
wants to merge 154 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
154 commits
Select commit Hold shift + click to select a range
c36790f
bridge demo boilerplate
bbist Nov 2, 2024
64d1729
changed db; still has compilation errors
bbist Nov 2, 2024
7d82bff
fix ark issues
bbist Nov 2, 2024
d30f1b9
add all interface methods to g16 verifier
bbist Nov 2, 2024
49d1012
fix: solve compilation issues
Rajil1213 Nov 2, 2024
e85c6f1
fix: update const to match new key sizes
Rajil1213 Nov 2, 2024
1542be2
refactor: remove unncessary clone
Rajil1213 Nov 2, 2024
6fb3af3
chore: re-add vscode settings/extensions
Rajil1213 Nov 2, 2024
65cf440
feat: add strata-bridge bin with some stubs
Rajil1213 Nov 1, 2024
20c53ec
chore: update bitvm deps
Rajil1213 Nov 2, 2024
3583a1a
feat: create base agent to sign tx
Rajil1213 Nov 2, 2024
46349db
feat: create stubs for operator; and add signals
Rajil1213 Nov 2, 2024
29ab3db
feat: create bridge_out with pow
Rajil1213 Nov 2, 2024
4b0ab86
pass by reference; tests
bbist Nov 3, 2024
bf6987d
merge node impl changes
bbist Nov 3, 2024
6d542e1
feat: add db for public data
Rajil1213 Nov 3, 2024
3150f92
chore: use updated strata branch
Rajil1213 Nov 3, 2024
31ecec1
refactor!: copy over types from strata, create ConnectorDb, change bo…
Rajil1213 Nov 3, 2024
d3fe22e
Merge branch 'feat/bridge-demo' into SBP-12-implement-bridge-client-m…
Rajil1213 Nov 3, 2024
351d090
fix types
bbist Nov 4, 2024
203a23c
merge node impl changes
bbist Nov 4, 2024
b6cc542
add fq from wots160 signature
bbist Nov 4, 2024
7bd166b
fix: use 256-bit values for T_s in post_assert output
Rajil1213 Nov 4, 2024
96ea21a
refactor: remove unnecessary methods from WithdrawalInfo
Rajil1213 Nov 4, 2024
86d6415
feat update bitcoin crate
MdTeach Nov 4, 2024
0607b09
ckp verification added to guest code
MdTeach Nov 4, 2024
ec9cd81
Refactor the process proof
MdTeach Nov 4, 2024
25d17ad
lint fix
MdTeach Nov 4, 2024
3e11eed
sync with bridge poc
MdTeach Nov 4, 2024
021ef14
feat: lint fix
MdTeach Nov 4, 2024
278ac32
feat: lint fix
MdTeach Nov 4, 2024
afba370
Prover l1 segment & ckp verification utlls (#7)
MdTeach Nov 4, 2024
5262100
remove bridge-demo
bbist Nov 4, 2024
65ce3fe
merge proof impl
bbist Nov 4, 2024
a3795ca
feat build fix
MdTeach Nov 4, 2024
336ddc1
add sp1 verifying key test
bbist Nov 4, 2024
77a06a0
refactor: remove bridge-demo bin crate
Rajil1213 Nov 4, 2024
754ce28
chore: update branch for strata dep
Rajil1213 Nov 4, 2024
5977e35
feat!: implement nonce sharing and signing of covenant txs
Rajil1213 Nov 4, 2024
d9c4f05
feat!: complete deposit cycle (wip)
Rajil1213 Nov 4, 2024
eb5bf3e
merge proof impl
bbist Nov 5, 2024
0c2fb48
update bitvm
bbist Nov 5, 2024
44de764
feat!: complete deposit cycle
Rajil1213 Nov 4, 2024
c2d16fd
change types and integrate sp1 groth16 verifier
bbist Nov 5, 2024
6ee099d
resolve merge conflicts
bbist Nov 5, 2024
55a97fb
merge node impl
bbist Nov 5, 2024
5a91076
tests: added strata test bitcoin
MdTeach Nov 5, 2024
c8cd911
update disprove connector
bbist Nov 5, 2024
69536db
add assertion and claim parsing scripts
bbist Nov 5, 2024
70d243d
update connector counts
bbist Nov 5, 2024
793d00e
feat!: bootstrap node with rpc server, duty watcher and operator threads
Rajil1213 Nov 5, 2024
2c6e5e4
load wots siggnatures at root level
bbist Nov 5, 2024
b8c5cf3
resolve diverging commits
bbist Nov 5, 2024
3052eec
merge node impl changes
bbist Nov 5, 2024
62d09d9
use db instead of generating verifier disprove scripts in runtime
bbist Nov 5, 2024
74def3e
feat: btc utils from the strata
MdTeach Nov 5, 2024
8f5fe40
update bitvm g16 interface
bbist Nov 5, 2024
16ca13a
chore: log bridge address upon init
Rajil1213 Nov 5, 2024
158383c
chore: ignore secrets directory
Rajil1213 Nov 5, 2024
fd4f92c
chore: update bitvm
Rajil1213 Nov 5, 2024
5076f39
chore: add run recipe
Rajil1213 Nov 5, 2024
9c274da
Merge branch 'feat/bridge-demo' into SBP-12-implement-bridge-client-m…
Rajil1213 Nov 5, 2024
1539657
merge proof impl
bbist Nov 5, 2024
2946b0e
feat: l1 segment update 2
MdTeach Nov 5, 2024
f844cd4
feat: add logs, fix bugs and add binary runner
Rajil1213 Nov 5, 2024
309a704
chore: even more logging
Rajil1213 Nov 5, 2024
0306ec8
merge proof impl
bbist Nov 6, 2024
de6a2ed
fix: update lock
bbist Nov 6, 2024
ac4333e
merge node impl
bbist Nov 6, 2024
08fb866
add verifier logic description; tests
bbist Nov 6, 2024
c00fd5b
feat: ckp chain state
MdTeach Nov 6, 2024
f50f2fb
feat: added prover test utils
MdTeach Nov 6, 2024
2077b1f
feat: process_blocks added
MdTeach Nov 6, 2024
490d3bc
refactor into bitcoin module
MdTeach Nov 6, 2024
b07268e
feat l1 inclusion
MdTeach Nov 6, 2024
7e3f3ed
update test
bbist Nov 6, 2024
e182446
merge proof impl changes
bbist Nov 6, 2024
f10cb7d
merge node impl
bbist Nov 6, 2024
c0251ac
perf: remove redundant network calls and code blocks
Rajil1213 Nov 6, 2024
2014367
perf: cache verifier scripts to a file
Rajil1213 Nov 6, 2024
1697250
chore: add logging
Rajil1213 Nov 6, 2024
18253ed
add verifier.rs
bbist Nov 6, 2024
5ef757a
fix disprove script
bbist Nov 6, 2024
f120ae6
change enum names
bbist Nov 6, 2024
5e907b3
refactor verifier.rs
bbist Nov 6, 2024
a298788
refactor assert data and add helpers
bbist Nov 6, 2024
1bdb242
fix: use separate channels for covenant nonces and signatures
Rajil1213 Nov 6, 2024
d3c8462
refactor: minor improvements
Rajil1213 Nov 6, 2024
ea66def
Merge branch 'feat/bridge-demo' into SBP-12-implement-bridge-client-m…
Rajil1213 Nov 6, 2024
2c14fe0
fix: apply lint fixes
Rajil1213 Nov 6, 2024
1a5579a
style: apply formatting
Rajil1213 Nov 6, 2024
d444eec
feat super block search done
MdTeach Nov 6, 2024
2b6fbed
feat: handle withdrawal duty (wip)
Rajil1213 Nov 6, 2024
9e00cdf
feat: chain state parse the deposits from the OutRef
MdTeach Nov 6, 2024
ba27ab5
feat todos refactor
MdTeach Nov 7, 2024
0c17406
feat: test refactor
MdTeach Nov 7, 2024
a993a8f
feat: public params updated
MdTeach Nov 7, 2024
720a90b
feat: verifier log updated
MdTeach Nov 7, 2024
bf593cc
feat bridge proof primitives refactor
MdTeach Nov 7, 2024
518fbed
fix verifier invalidation logic
bbist Nov 7, 2024
66b6c1c
need custom serializer for the bitcoin
MdTeach Nov 7, 2024
7fcb73d
add support for 4 public inputs in stark verifier
bbist Nov 7, 2024
c66d359
merge node impl changes
bbist Nov 7, 2024
d692065
merge proof impl changes
bbist Nov 7, 2024
21c940b
fix: make claim work
Rajil1213 Nov 7, 2024
0a1cb5e
fix: cleanup extra logs
Rajil1213 Nov 7, 2024
b9fa4c0
refactor: remove logs
Rajil1213 Nov 7, 2024
2ccae08
Merge branch 'feat/bridge-demo' into SBP-12-implement-bridge-client-m…
Rajil1213 Nov 7, 2024
69aeae6
fix: remove unncessary files
Rajil1213 Nov 7, 2024
096e230
fix: use taproot output in pre-assert
Rajil1213 Nov 7, 2024
90ae466
refactor: apply lint fixes and clean up
Rajil1213 Nov 7, 2024
df35b0c
refactor: make assert data prevout construction more generic
Rajil1213 Nov 7, 2024
42a1b8b
fix: do not skip stake output when building prevouts for post-assert
Rajil1213 Nov 7, 2024
edf0e24
feat: log sizes of assert data txs
Rajil1213 Nov 7, 2024
50ec126
feat: add bitcoin watcher and integrate with verifier
Rajil1213 Nov 7, 2024
3db2765
style: format toml files
Rajil1213 Nov 7, 2024
a980f09
fix: correct typos
Rajil1213 Nov 7, 2024
0801de5
fix things
bbist Nov 8, 2024
165a9e8
update wots to drop messages
bbist Nov 8, 2024
27231e8
fix: cleanup
Rajil1213 Nov 8, 2024
512856a
Merge branch 'feat/bridge-demo' into SBP-12-implement-bridge-client-m…
Rajil1213 Nov 8, 2024
b7bc218
fix: things
Rajil1213 Nov 8, 2024
d402a00
minor refactoring
bbist Nov 8, 2024
754bc46
fix: pre-assert loop iteration fix
Rajil1213 Nov 8, 2024
e31b020
merge node impl changes
bbist Nov 8, 2024
8f70c12
verifier test change
bbist Nov 8, 2024
41e2682
fix: pre-data-post mapping
Rajil1213 Nov 8, 2024
86ff544
fix: use correct db for post-assert and add getrawtransaction rpc
Rajil1213 Nov 8, 2024
10a9b24
fix: skip stake input in post-assert tx
Rajil1213 Nov 8, 2024
a5b1f03
merge node impl
bbist Nov 9, 2024
b3d0699
feat: feature-gate mock proof assertions
Rajil1213 Nov 9, 2024
64743d5
fix: parse the right transactions
Rajil1213 Nov 9, 2024
bb31f5d
verification duty is correctly verifying mock proof
bbist Nov 9, 2024
1b87442
feat: disprove mock assertions
Rajil1213 Nov 9, 2024
d0df6d9
upgrade to sp1 v3
bbist Nov 9, 2024
974c637
feat: add disprove tx
Rajil1213 Nov 9, 2024
d91c1ed
merge node impl changes
bbist Nov 9, 2024
58c1bc3
fix disprove broadcast
bbist Nov 9, 2024
6aa4e5d
feat: use sighash::all for disprove and index btc
Rajil1213 Nov 9, 2024
84ef5e6
merge node impl changes
bbist Nov 9, 2024
8351e56
fix: check pre-assert tx
Rajil1213 Nov 9, 2024
ebb2c0d
merge node impl
bbist Nov 9, 2024
e9129cd
fix: add claim tx to relevant
Rajil1213 Nov 9, 2024
fbdd6f7
merge fix
bbist Nov 9, 2024
8688c34
chore: log valid assertions
Rajil1213 Nov 9, 2024
5f3fc80
fix: add script witness for disprove tx
Rajil1213 Nov 9, 2024
bdf078a
merge sbp-12
bbist Nov 9, 2024
461a828
fix: use anyone-can-spend for disprove output
Rajil1213 Nov 9, 2024
aa50d29
merge schnorr fix in disprove tx
bbist Nov 9, 2024
c2f2a0a
fix: layout disprove witness properly
Rajil1213 Nov 9, 2024
62b86e3
merge witness stack fix
bbist Nov 9, 2024
8f87409
fix: wait before polling if polled height does not exist
Rajil1213 Nov 11, 2024
0862ad9
feat: remove extra logging
Rajil1213 Nov 11, 2024
444f26b
feat: use sighash_single for disprove_tx
Rajil1213 Nov 11, 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
12 changes: 12 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -260,3 +260,15 @@ proving_keys/
provers/test-util/el/el_proofs/
provers/test-util/cl/cl_proofs/
provers/sp1/proofs/

# secrets
.secrets/

# log files
*.log*

# verifier scripts
*.scripts*

# backup files
*.bak
8 changes: 4 additions & 4 deletions .vscode/settings.json
Original file line number Diff line number Diff line change
Expand Up @@ -21,9 +21,9 @@
// "provers/sp1/guest-cl-agg/Cargo.toml",
],
"rust-analyzer.diagnostics.enable": true,
// "rust-analyzer.cargo.features": [
// "prover"
// ],
"rust-analyzer.cargo.features": [
"prover"
],
"todohighlight.isEnable": true,
"todohighlight.isCaseSensitive": true,
"todohighlight.keywords": [
Expand Down Expand Up @@ -67,4 +67,4 @@
"**/.vscode/**"
],
"todohighlight.maxFilesForSearch": 5120
}
}
Loading
Loading