Repository navigation
Conversation
One execution gives the paper's relaxed anonymous broadcast, where a corrupt client may choose its message after seeing the honest ones. The example shows the paper's lift to the full notion: two executions with fresh parameters, commitments first and openings second, matched at the recipient.
There was a problem hiding this comment.
🟡 Changes recommended
Duplicate commitment digests let a corrupt client copy an honest commitment and its revealed opening across executions, causing acceptance of an extra message dependent on the honest input and breaking input independence.
2 open issues
What changed in this PR
This PR documents the library’s relaxed anonymous-broadcast guarantee and illustrates application-side orchestration of two protocol executions, without changing library code.
Changes:
- Adds a README guarantee section explaining input dependence and the commitment/opening approach.
- Adds a two-run example with fresh parameters and server keys, cover traffic, a missing opening, and a mismatched opening.
| File | Description |
|---|---|
| README.md | Describes the relaxed guarantee and links to the two-run example. |
| examples/two_run.rs | Demonstrates commitment and opening rounds with recipient-side matching and output assertions. |
Review effort: Balanced
| let mut unopened: HashMap<[u8; COMMIT_BYTES], usize> = HashMap::new(); | ||
| for c in &commitments { | ||
| let c: [u8; COMMIT_BYTES] = c[..COMMIT_BYTES].try_into().expect("commitment width"); | ||
| *unopened.entry(c).or_default() += 1; |
Comment on lines
+47
to
+48
| and every message from a client that posts a complete round is delivered as | ||
| long as fewer than half the servers are corrupt. What the relaxed notion gives |
noot
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adds a "Guarantee" section to the README and
examples/two_run.rs. No library change.paper divergence
The code implements one execution of the protocol, which gives the relaxed functionality from "Ideal Functionalities": honest clients stay anonymous, but the adversary sees the honest messages before the corrupt clients choose theirs, so a corrupt client's message may depend on them. "From Relaxed to Full Anonymous Broadcast" lifts this by running the protocol twice with fresh parameters and server keys, commitments first and openings second, matched at the recipient. That is orchestration over two ordinary executions, so it stays on the application side; the example shows the full pattern with a hash commitment, including a client that commits and never opens and one that opens to a different message. The README now states which guarantee the library delivers and points at the example.
The example calls
run_server_roundwith the signature on main; once the server verification branch merges it needs the two extra arguments.