From a90fd7219f235e4b3e0c589ff2c9b6283431f2ff Mon Sep 17 00:00:00 2001 From: Brian W Bush Date: Mon, 16 Dec 2024 08:34:36 -0700 Subject: [PATCH] Added d2 diagrams to technical report (#107) * Added d2 diagrams to technical report * Minor edits to technical report --- docs/technical-report-1.md | 27 +++++++++++++++++++++++++-- 1 file changed, 25 insertions(+), 2 deletions(-) diff --git a/docs/technical-report-1.md b/docs/technical-report-1.md index de1908b6..3a3c0342 100644 --- a/docs/technical-report-1.md +++ b/docs/technical-report-1.md @@ -28,15 +28,30 @@ ## Formal Specification for Short Leios +![Overview for formal specification](../formal-spec/docs/overview.png) + ## Delta QSD network performance model +![Overview of Delta QSD components](../delta_q/docs/overview.png) + + ## Rust simulation +![Container diagram of Rust simulation](../sim-rs/docs/container.png) + +![Component diagram of Rust simulation](../sim-rs/docs/component.png) + +![Transaction-protocol diagram of Rust simulation](../sim-rs/docs/tx-protocol.png) + ## Haskell prototype +![Container diagram of Haskell prototype](../simulation/docs/container.png) + +![Component diagram of Haskell prototype](../simulation/docs/component.png) + ## Voting and certificates @@ -286,14 +301,17 @@ Using the previously mentioned ALBA parameters and setting $n_p / n = 0.9$, we s > [!IMPORTANT] > -> To be written +> - [ ] To be written #### MUSEN certificate > [!IMPORTANT] > -> To be written +> - [ ] To be written +> - [ ] Include benchmark results + +[MUSEN](https://iohk.io/en/research/library/papers/musen-aggregatable-key-evolving-verifiable-random-functions-and-applications/) ("MUlti-Stage key-Evolving verifiable random fuNctions.") builds upon the concept of VRFs by introducing a key-evolving feature and allowing for aggregating VRF outputs. The aggregation capability promises to result in small certificates attesting to the Leios votes. However, verification times may be to long for Leios. ### Insights regarding voting and certificates @@ -556,6 +574,11 @@ The stake distribution has an important influence on the number of unique SPOs i ![Curve fit to stakepool distribution at epoch 500](../images/stake-fit.png) +### Insights into mainnet characteristics + +1. Historically observed transaction sizes and frequencies are reasonably well modeled by simple curve fits. +2. The current mainnet stake distribution is similarly modeled by a simple curve fit. + ## Threat model