Skip to content
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

Jump to bottom

Highlight issue about certificate size and ALBA parameters in report. #239

Merged
2 commits merged into from
Oct 14, 2024
Merged

Highlight issue about certificate size and ALBA parameters in report. #239

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
85b879f
Highlight issue about certificate size and ALBA parameters in report.
abailly Oct 7, 2024
8585a95
Merge branch 'main' into abailly/alba-warning
Oct 11, 2024
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
12 changes: 12 additions & 0 deletions site/docs/reports/tech-report-2.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -290,6 +290,7 @@ The implementation takes some liberty with the necessary rigor suitable for cryp

### Certificates


#### Mithril certificates

Mithril certificates' construction is described in details in the [Mithril](https://iohk.io/en/research/library/papers/mithril-stake-based-threshold-multisignatures/) paper and is implemented in the [mithril network](https://github.com/input-output-hk/mithril). It's also described in the [Leios paper](https://iohk.io/en/research/library/papers/high-throughput-blockchain-consensus-under-realistic-network-assumptions/), in the appendix, as a potential voting scheme for Leios, and implicitly Peras.
Expand All @@ -302,6 +303,17 @@ Mithril certificates have the following features:

#### ALBA


:::danger

**2024-10-07 Update**

On closer scrutiny, it appeared the parameters used in these benchrmarks are way too optimistic, which lead us to conclude hastily ALBA would be the "right" certificate scheme for Peras. Actually, to provide strong guarantees about quorum, the $n_f$ parameter should be set to the quorum value, e.g 75% of stake, which means the $n_p$ should be set quite high too as certificate size is pretty much dependent on the $n_p/n_f$ ratio.

A thorough analysis of the issues is discussed on the [ALBA](https://github.com/cardano-scaling/alba/discussions/17) repository, thanks to Alex Esgen for pointing it out.

:::

[Approximate Lower Bound Arguments](https://iohk.io/en/research/library/papers/approximate-lower-bound-arguments/) or _ALBAs_ in short, are a novel cryptographic algorithm based on a _telescope_ construction providing a fast way to build compact certificates out of a large number of _unique_ items. A lot more details are provided in the paper, on the [website](https://alba.cardano-scaling.org) and the [GitHub repository](https://github.com/cardano-scaling/alba) where implementation is being developed, we only provide here some key information relevant to the use of ALBAs in Peras.

##### Proving & verification time
Expand Down
Loading