Skip to content
This repository was archived by the owner on Aug 22, 2023. It is now read-only.

Conversation

@alxiong
Copy link
Contributor

@alxiong alxiong commented Jul 6, 2023

Resolve #76

@alxiong alxiong requested a review from mrain July 6, 2023 15:18
@alxiong alxiong self-assigned this Jul 6, 2023
@alxiong alxiong force-pushed the feat/generic-st branch from 482b1b3 to 78e4f67 Compare July 6, 2023 15:34
@alxiong alxiong force-pushed the feat/generic-st branch from 78e4f67 to b556817 Compare July 6, 2023 15:36
@alxiong
Copy link
Contributor Author

alxiong commented Jul 6, 2023

I don't understand why the test is failing:

---- stake_table::tests::test_stake_table stdout ----
thread 'stake_table::tests::test_stake_table' panicked at 'assertion failed: proof.verify(&st.commitment(SnapshotVersion::Head)?).is_err()', src/stake_table/mod.rs:435:9

do you mind taking a peak in case you might have some idea? @mrain
(the changes I made all seem on the semantic level, I didn't change any core logic, i think?)

mrain and others added 2 commits July 11, 2023 10:19
* update to the newest interface

* refactor keyagg gadget

* update doc

* update test name

* public inputs

* remove cargo.lock

* refactor qc gadgets

* refactor qc gadgets

* remove branch from jellyfish deps

* updated comments

* more comments
@alxiong alxiong merged commit a7a8ea1 into feat/trait-st Jul 21, 2023
@alxiong alxiong deleted the feat/generic-st branch July 21, 2023 11:23
alxiong added a commit that referenced this pull request Jul 27, 2023
…#66)

* reorg qc trait and impl

* rename: QCValidation->QC, BitvectorQuorumCertificate->BitVectorQC, ::Proof->::QC, partial_sign->sign, active_keys->signers

* add QC::trace() API

* remove CheckedType since it's unused (and unclear why we need it)

* add back check()->Result<QuorumSize>

* feat: introduce trait StakeTableScheme

* refactor: move most ST methods under trait impl

* chore: renaming from pending,frozen,active to head,epoch_start,last_epoch_start

* fix: add Cargo.lock to avoid CI error

* use concrete StakeTableError instead of Self::Error

* feat: implement an iter for PersistentMerkleNode

* refactor: make stake table impl generic over key type (#81)

* refactor: make stake table impl generic over key type

* fix err

* feat: QC key aggregate gadget (#74)

* update to the newest interface

* refactor keyagg gadget

* update doc

* update test name

* public inputs

* remove cargo.lock

* refactor qc gadgets

* refactor qc gadgets

* remove branch from jellyfish deps

* updated comments

* more comments

---------

Co-authored-by: Chengyu Lin <[email protected]>

* wip: using generic ST api instead of StakeEntry

* use IntoFields for VerKey, fix test to avoid projective coordinate mismatch

* repin to jellyfish main

* accept IntoIter instead of Vec

* move simple_lookup to trait StakeTableScheme

---------

Co-authored-by: Chengyu Lin <[email protected]>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants