Skip to content

Implement an AVID protocol for batched AVSS #954

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

Open
jonas-lj wants to merge 91 commits into
base: main
Choose a base branch
from
+2,030 −553
Open

Implement an AVID protocol for batched AVSS #954

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
91 commits
Select commit Hold shift + click to select a range
f4b101f
Erasure code + split encryption
jonas-lj Apr 29, 2026
2cf99d6
Better interface for erasure code
jonas-lj Apr 29, 2026
64058fc
Compute challenge from roots
jonas-lj Apr 29, 2026
c7f2af9
Group shards to parties
jonas-lj Apr 29, 2026
17f8583
Individual messages
jonas-lj Apr 29, 2026
c7f5f14
Add avid part of message
jonas-lj Apr 29, 2026
0c093b2
Roots as part of avid msg
jonas-lj Apr 29, 2026
2c97882
Add echo_message function
jonas-lj Apr 29, 2026
14cf48a
e2e works
jonas-lj Apr 30, 2026
d25e64b
Add root check
jonas-lj Apr 30, 2026
90e0459
Remove ciphertext from message
jonas-lj Apr 30, 2026
68548c8
refactoring
jonas-lj May 1, 2026
14ba032
Return root from process_echo_messages
jonas-lj May 1, 2026
dca6b73
More refactor
jonas-lj May 1, 2026
5b182b0
draft
jonas-lj May 1, 2026
2a8d384
doc
jonas-lj May 1, 2026
5f98b96
Refactor complaint handling
jonas-lj May 1, 2026
26b6bc5
Renames and doc trims
jonas-lj May 1, 2026
dfe6ac3
Drop r_i/pi_i from Complaint, add share recovery test
jonas-lj May 1, 2026
720e821
fmt
jonas-lj May 1, 2026
54554b0
Truncate ciphertext and add bcs_serialized_size
jonas-lj May 4, 2026
68e1d41
Split Complaint into Reveal/Blame, add Response and Vote
jonas-lj May 4, 2026
dd98c71
Resurrect test_e2e, take Message in verify_and_decrypt
jonas-lj May 4, 2026
2be05a2
Restore original style in test_e2e
jonas-lj May 4, 2026
1668544
Cargo fmt + clippy fixes; rename Reveal/Blame variants
jonas-lj May 4, 2026
48d7192
Fold shards triple into AuthenticatedShards in EchoMessage
jonas-lj May 4, 2026
eaaed44
Hoist roots, rename echo_messages -> valid_echoes
jonas-lj May 4, 2026
cda8478
Rename EchoMessage/ProcessedEchoMessages and field renames
jonas-lj May 4, 2026
7b2daeb
Add Echo::verify and recipient_tree helpers
jonas-lj May 4, 2026
a46c2db
Add ShardContribution::verify and use it in handle_blame
jonas-lj May 4, 2026
6019d10
Clean up
jonas-lj May 4, 2026
1b6a72f
Reorder + clean up
jonas-lj May 4, 2026
4449865
Update docs + function signature
jonas-lj May 4, 2026
acf8645
Change signature
jonas-lj May 4, 2026
197e966
Drop AVID consistency check from handle_reveal
jonas-lj May 4, 2026
9f0a330
refactor
jonas-lj May 4, 2026
78dc46d
refactor
jonas-lj May 4, 2026
f5b4ce9
Fix inverted length check in RS decode
jonas-lj May 4, 2026
a0ca65e
Add State to DecryptionOutcome::Valid
jonas-lj May 4, 2026
dd45eee
Rename echo_message -> echo, process_echo_messages -> process_echos
jonas-lj May 4, 2026
5c1b02f
Bind complaints to dealer broadcast via recipient_root + proof
jonas-lj May 4, 2026
6da8fb5
Pass State to recover instead of Message
jonas-lj May 4, 2026
69bc024
Prefer Blame to Reveal; group AVID helpers at end of impl
jonas-lj May 4, 2026
3d68529
Use all_unique; mention recover in State doc
jonas-lj May 4, 2026
d997e51
Extract ComplaintHeader from Reveal/Blame
jonas-lj May 5, 2026
38fe0dd
Clean up
jonas-lj May 5, 2026
0cfb0c1
Update docs
jonas-lj May 5, 2026
3218526
Take id in process_echos
jonas-lj May 5, 2026
26f2d6a
Fix inverted AVID check in handle_blame; rename ProcessedEchos -> Dec…
jonas-lj May 5, 2026
6706e26
Move AVID consistency check into decode_ciphertext_for_party
jonas-lj May 5, 2026
95d5cb7
Drop global_root and State; carry recipient_roots in CommonMessage
jonas-lj May 5, 2026
3cd4ca6
Slim Blame; drop DecodedCiphertext and outcome wrappers
jonas-lj May 5, 2026
61696fb
Documentation pass
jonas-lj May 6, 2026
661784e
Update module doc
jonas-lj May 6, 2026
6ac8191
Restore Blame shards; doc + ergonomics polish
jonas-lj May 6, 2026
500debf
Drop unused Response enum and into_response
jonas-lj May 6, 2026
e8cf718
cargo fmt
jonas-lj May 6, 2026
e931d7d
docs
jonas-lj May 6, 2026
0b26ee3
Authenticate ComplaintResponses with recovery packages
jonas-lj May 6, 2026
de047f4
Drop ShardContribution; Blame.shards is BTreeMap
jonas-lj May 6, 2026
682ce75
Simplify decode_ciphertext's dispersal-consistency branch
jonas-lj May 6, 2026
3ed995c
Clean up
jonas-lj May 6, 2026
c652a46
Tighten CommonMessage API and AVID helpers
jonas-lj May 6, 2026
3f62ec3
Rewrite batch_avss module doc
jonas-lj May 6, 2026
28786e5
Touch up batch_avss docs and decode_ciphertext branch
jonas-lj May 6, 2026
fe79d65
Various clean up
jonas-lj May 6, 2026
22f43a1
Collapse map().flatten() to flat_map
jonas-lj May 6, 2026
0619060
Rename DecryptionOutcome::InvalidShares to Invalid; verify_and_decryp…
jonas-lj May 6, 2026
9917187
simplify
jonas-lj May 6, 2026
05c022c
clippy
jonas-lj May 6, 2026
f7abac0
Add VerifiedEcho; Receiver::verify_echo wraps private Echo::verify
jonas-lj May 7, 2026
614cfac
Add VerifiedComplaintResponse and Receiver::verify_complaint_response
jonas-lj May 7, 2026
87caeb1
Tidy verify_complaint_response
jonas-lj May 7, 2026
4fc0726
Add VerifiedCommonMessage; CommonMessage::verify returns it
jonas-lj May 7, 2026
274155d
Clean up
jonas-lj May 7, 2026
3d0f0a3
Reject malformed Blame in handle_blame; tidy module doc and reconstru…
jonas-lj May 7, 2026
25dbed2
Document Blame must wait for matching certificate before broadcast
jonas-lj May 7, 2026
5d5d171
Switch erasure coding to GF(2^16); rename Blame/Reveal; tighten input…
jonas-lj May 8, 2026
3ae6407
Tidy: hoist cfg_attr to function level, rename encode locals
jonas-lj May 8, 2026
a5ce467
Apply suggestions from code review
jonas-lj May 8, 2026
56373b5
Note that echo emits one entry addressed to self
jonas-lj May 8, 2026
391c1b2
Replace stored ErasureCoder with Receiver::get_coder; explicit param …
jonas-lj May 8, 2026
1912b71
Add validate_parameters and shared get_coder helper used by Dealer an…
jonas-lj May 8, 2026
fd70f21
Clean up
jonas-lj May 8, 2026
df2dcef
Tighten bytes_to_elems error handling; note GF(2^16) bound
jonas-lj May 11, 2026
af49629
Introduce Element/ELEMENT_SIZE_IN_BYTES; verify zero padding; tidy de…
jonas-lj May 11, 2026
487ebd7
Simplify decode: drop redundant guard, merge length/zero check, untan…
jonas-lj May 11, 2026
c048a29
Rename Complaint to RecoveryProof; move accuser_id to wire types
jonas-lj May 11, 2026
eff1da1
Move ComplaintResponse into avss; drop unused generic parameter
jonas-lj May 11, 2026
2bf1055
Rename complaint.rs to recovery_proof.rs
jonas-lj May 11, 2026
ff098d3
Add benches for verify_common_message, echo, verify_echo, verify_and_…
jonas-lj May 11, 2026
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
144 changes: 136 additions & 8 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion fastcrypto-tbls/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ zeroize.workspace = true
itertools = "0.10.5"
hex = "0.4.3"
tap = { version = "1.0.1", features = [] }
serde-big-array = "0.5.1"
reed-solomon-erasure = "6.0.0"

[dev-dependencies]
criterion = "0.5.1"
Expand Down
Loading
Loading