Skip to content

StateProof: State Proof Verification additions#377

Merged
almog-t merged 23 commits into
algorand:developfrom
almog-t:light_client_additions
Aug 31, 2022
Merged

StateProof: State Proof Verification additions#377
almog-t merged 23 commits into
algorand:developfrom
almog-t:light_client_additions

Conversation

@almog-t
Copy link
Copy Markdown
Contributor

@almog-t almog-t commented Aug 28, 2022

No description provided.

@almog-t almog-t requested a review from id-ms August 28, 2022 10:44
@almog-t almog-t marked this pull request as ready for review August 28, 2022 12:03
@almog-t almog-t force-pushed the light_client_additions branch 2 times, most recently from 8d29b99 to c90fcca Compare August 29, 2022 12:29
@almog-t almog-t force-pushed the light_client_additions branch from c8dda35 to b1ceed6 Compare August 30, 2022 08:23
Comment thread go.mod Outdated
Comment thread stateproofs/stateProofVerifier.go Outdated
Comment thread types/lightBlockHeader.go Outdated
Comment thread types/hashes.go Outdated
@almog-t almog-t requested a review from winder August 31, 2022 11:40
Comment thread stateproofs/stateProofVerifier_test.go Outdated
Comment thread types/stateproof.go Outdated
Copy link
Copy Markdown
Contributor

@winder winder left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Considering that this is so basic, I wonder why we bother to include it in the go SDK at all. A user should import the library and use it directly.

Comment thread stateproofs/stateProofVerifier.go Outdated
Copy link
Copy Markdown
Contributor

@id-ms id-ms left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Comment thread stateproofs/stateProofVerifier.go Outdated
@almog-t almog-t merged commit aa81e62 into algorand:develop Aug 31, 2022
@almog-t almog-t deleted the light_client_additions branch September 1, 2022 11:22
ahangsu added a commit that referenced this pull request Sep 2, 2022
* Github-Actions: Adding pr title and label checks (#336)

* Dev Tools: Source map decoder (#335)

* Updated CHANGELOG.md

* AVM:  Consolidate TEAL and AVM versions (#345)

* Testing: Use Dev mode network for cucumber tests (#349)

* AVM: Use avm-abi repo (#352)

* Updated CHANGELOG.md

* Enhancement: Use Sandbox for Testing (#360)

Co-authored-by: Michael Diamant <michaeldiamant@users.noreply.github.com>

* Bug-Fix: passthru verbosity (#371)

* Enhancement: Deprecating use of langspec (#366)

Co-authored-by: Michael Diamant <michaeldiamant@users.noreply.github.com>

* StateProof: State proof support (#374)

* Regenerate client.

* Update txn and block objects, cucumber tests passing.

* Enable cucumber tests.

* Update types/stateproof.go

* Add transactions-root-256

* Remove unused code.

* Remove unused file

* Add txn commitments blockheader fields

* Rename signature, add allocbound definitions

* Add txn commitment to header

* PR comments

* Remove unused file

Co-authored-by: Will Winder <wwinder.unh@gmail.com>

* State Proofs: Use generic type for StateProof txn field. (#378)

* Use generic type for StateProof txn field.

* Add missing type.

* Remove GenericDigest.

* fix type assertion on source map version (#370)

* let the json package figure out how to decode the elements of the incoming map (#380)

* StateProof: State Proof Verification additions (#377)

* Regenerate client.

* Remove unused file

* moved files from stateproof verification repo

* now using updated go-stateproof-verification

* fixed go mod

* moved consts near their usage

* added working state proof verifier test

* added unit test and resources

* now using go 1.15 supported function

* changes to avoid dependency of stateproof verification on SDK

* added needed types to stateproof.go for message hashing

* reverted packages, now using up to date go-stateproof-verification

* CR: renamed verification functions

* hashing sp message is now in crypto

* removed hashing of light block header

* CR: now allocating space upfront in hashing state proof message

* attempting to use embedded files

* CR: using GenericDigest in block.go

* CR: Renamed package to match directory

* Removed go 1.15 from CI

* improved embed usage

* CR: removed stateproof verification logic

* tidied go mod file

Co-authored-by: Will Winder <wwinder.unh@gmail.com>
Co-authored-by: Eric Warehime <eric.warehime@gmail.com>

* State Proofs: added compute leaf function for light block header to sdk (#382)

* added compute leaf function for light block header to sdk

* renamed blockheader256

* changed passed type to pointer

* reverted back to copying

* renamed light block header hash func (#383)

* Enable stpf cucumber unit tests (#386)

Co-authored-by: Jack <87339414+algojack@users.noreply.github.com>
Co-authored-by: Ben Guidarelli <ben.guidarelli@gmail.com>
Co-authored-by: Jack Smith <jack.smith@algorand.com>
Co-authored-by: Michael Diamant <michaeldiamant@users.noreply.github.com>
Co-authored-by: algochoi <86622919+algochoi@users.noreply.github.com>
Co-authored-by: Jason Paulos <jasonpaulos@users.noreply.github.com>
Co-authored-by: Barbara Poon <barbara.poon@algorand.com>
Co-authored-by: Zeph Grunschlag <tzaffi@users.noreply.github.com>
Co-authored-by: Eric Warehime <eric.warehime@gmail.com>
Co-authored-by: Will Winder <wwinder.unh@gmail.com>
Co-authored-by: Almog Tal <107349997+almog-t@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants