Skip to content
This repository has been archived by the owner on Aug 30, 2024. It is now read-only.

feat: data commitment + header chain #19

Merged
merged 28 commits into from
Sep 15, 2023
Merged

feat: data commitment + header chain #19

merged 28 commits into from
Sep 15, 2023

Conversation

ratankaliani
Copy link
Member

@ratankaliani ratankaliani commented Sep 6, 2023 •
edited
Loading

Features

Data Commitment Circuit

  • Generates a data commitment following the structure defined in celestia-core.

Header Chain Circuit

  • Iteratively proves headers between current_block to trusted_block, and their corresponding dataHash (dataRoot of each block).

Fixtures

  • Create a new fixtures folder for differentiating fixtures from mocha-3 testnet and mocha-4 testnet.

ratankaliani and others added 24 commits September 5, 2023 18:06
@ratankaliani
wip: create data commit
f5bc09c
@ratankaliani
wip: data commitment outside circuit
e6d8bb8
@ratankaliani
wip: matching data comm to celestia core, rpc's not matching
15eb43b
@ratankaliani
feat: set up env, use new mocha-4 endpoint, data commitment rust scri…
5be60c6 
…pt works
@ratankaliani
feat: generate fixture for data commitment
375437a
@ratankaliani
feat: encode data tuple root correclt
7f7c8c3
@ratankaliani
merge, update commitment to use leaf_hash_stark
bfe7f33
@ratankaliani
wip: data commitment doesn't match
e0b5efa
@ratankaliani
feat: encode data tuple root works
012527b
@ratankaliani
wip: data commitment
ef1b4ca
@ratankaliani
feat: generate data commitment correctly for 4 blocks
7f333f1
@ratankaliani
fix: update to new test
c511c21
@ratankaliani
update to use succinctx branch for sha256-curta
d077aa9
@ratankaliani
wip: testing header chain circuit
22288b8
@ratankaliani
wip: try small window size
72056b1
@ratankaliani
large window size
09293d0
@ratankaliani
lint
986a6ed
@ratankaliani
lint
7973aa2
@ratankaliani
update sha256_curta calls
99bb6a3
@ratankaliani
add misc tests
1ed30e6
@ratankaliani
wip: hacky merkle inclusion proof types
630bc1a
@ratankaliani
small window size
caff38e
@ratankaliani
wip: debugging generators weren't run
0e26a6a
@ratankaliani
add back isEqual constrain
17f75fd
@ratankaliani ratankaliani changed the title feat: data commitment feat: data commitment + header chain Sep 13, 2023
@ratankaliani
feat: Add block height proof to header chain (#20)
03a91a1 
* wip: issue with varint encoding

* wip: fixed generator issue, calculate encoding correctly

* feat: verify block height works

* lint

* BOOM, prove header chain works

* docs

* feat: combine prove header chain and get data commitment

* clean up types in commitment

* lint

* update to succinctx branch

* lint
@ratankaliani ratankaliani merged commit 4d9df8a into main Sep 15, 2023
1 check passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@puma314 puma314 puma314 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ratankaliani @puma314