build based on fd33df1

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-06-08T21:46:48","documenter_version":"1.3.0"}}
+{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-06-14T22:19:45","documenter_version":"1.3.0"}}

dev/assets/registration_sequence/index.html

@@ -10,4 +10,4 @@
     Client ->> PeaceFounder: {ticket_id, member_id}_token
     PeaceFounder ->> Client: {member_id}_registrar
     Client ->> PeaceFounder: {pseudonym}_member
-    PeaceFounder -&gt;&gt; Client: inclusion_proof, {chain_state}_recorder</code></pre></article><nav class="docs-footer"><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.3.0 on <span class="colophon-date" title="Saturday 8 June 2024 21:46">Saturday 8 June 2024</span>. Using Julia version 1.10.4.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+    PeaceFounder -&gt;&gt; Client: inclusion_proof, {chain_state}_recorder</code></pre></article><nav class="docs-footer"><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.3.0 on <span class="colophon-date" title="Friday 14 June 2024 22:19">Friday 14 June 2024</span>. Using Julia version 1.10.4.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

dev/audit/index.html

@@ -16,4 +16,4 @@
 @test checksum(ballotbox_archive, hasher) == ledger_root
 @test audit(braidchain_archive, ballotbox_archive, hasher)
 
-@show tally(ballotbox_archive)</code></pre><p>Note that this audit does not check the honesty of the <code>registrar</code> and that it has not admitted fake users to gain more influence in the election result. Properties being verified by the audit:</p><ul><li>Legitimacy: only eligible voters cast their votes;</li><li>Equality: every eligible voter can vote at most once;</li><li>Immutability: no vote can be deleted or modified after being recorded in the ledger; </li><li>Tallied as Cast: all cast votes are counted honestly according to predetermined procedure; </li></ul><p>All these properties together ensure software independence so that the resulting tally does not depend on trust in the honest execution of either peacefounder service or braiders. In other words, the previously listed properties would not be altered if the adversary had full control over the peacefounder service and the braiders. </p><p>The immutability is ensured by voter&#39;s clients updating their consistency proof chain, which includes their vote. If the vote gets removed from a chain, every voter who cast their vote will get proof for an inconsistent ledger state called blame. The voter can make the blame public without revealing their vote, thus ensuring immutability and persistence after votes are published. The auditable part here is the votes signed with a pseudonym, which contract voters&#39; clients to follow up at later periods with consistency proofs. On top of that, other monitors can synchronise the ballotbox ledger and add assurances that way.</p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../client/">« Client</a><a class="docs-footer-nextpage" href="../schema/">HTTP »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.3.0 on <span class="colophon-date" title="Saturday 8 June 2024 21:46">Saturday 8 June 2024</span>. Using Julia version 1.10.4.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+@show tally(ballotbox_archive)</code></pre><p>Note that this audit does not check the honesty of the <code>registrar</code> and that it has not admitted fake users to gain more influence in the election result. Properties being verified by the audit:</p><ul><li>Legitimacy: only eligible voters cast their votes;</li><li>Equality: every eligible voter can vote at most once;</li><li>Immutability: no vote can be deleted or modified after being recorded in the ledger; </li><li>Tallied as Cast: all cast votes are counted honestly according to predetermined procedure; </li></ul><p>All these properties together ensure software independence so that the resulting tally does not depend on trust in the honest execution of either peacefounder service or braiders. In other words, the previously listed properties would not be altered if the adversary had full control over the peacefounder service and the braiders. </p><p>The immutability is ensured by voter&#39;s clients updating their consistency proof chain, which includes their vote. If the vote gets removed from a chain, every voter who cast their vote will get proof for an inconsistent ledger state called blame. The voter can make the blame public without revealing their vote, thus ensuring immutability and persistence after votes are published. The auditable part here is the votes signed with a pseudonym, which contract voters&#39; clients to follow up at later periods with consistency proofs. On top of that, other monitors can synchronise the ballotbox ledger and add assurances that way.</p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../client/">« Client</a><a class="docs-footer-nextpage" href="../schema/">HTTP »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.3.0 on <span class="colophon-date" title="Friday 14 June 2024 22:19">Friday 14 June 2024</span>. Using Julia version 1.10.4.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

dev/audittools/index.html

@@ -19,4 +19,4 @@
 isbinding(chain::BraidChainLedger, bbox::BraidChainLedger)
 
 audit(chain::BraidChainLedger, bbox::BallotBoxLedger, commit::Commit{BallotBoxState})
-audit(chain::BraidChainLedger, bbox::BallotBoxLedger, root::Digest, N::Int = length(bbox))</code></pre><p>Note that this audit does not check honesty of the <code>registrar</code> that it have admitted fake users to gain more influence in the ellection result. Properties being verified by the audit:</p><ul><li>Legitimacy: only and all eligiable voters cast their votes;</li><li>Fairness: every eligiable voter can vote at most once;</li><li>Immutability: no vote can be deleted or modified when recorded in the ledger; </li><li>Tallied as Cast: all cast votes are counted honestly to predetermined procedure; </li><li>Software independence: the previously audited properties for the evidence does not </li></ul><p>depend on a trust in honest execution of peacefounder service nor honesty of the braiders who provides new pseudonyms for the deme members. In other words the previously listed  properties would not be altered if adversary would have a full control over the peacefounder  service and the braiders. </p><p>The immutability is ensured from voter&#39;s clients updating their consistency proof chain which includes their vote. If the vote gets removed from a chain every single voter who had cast their vote would get a proof for inconsistent ledger state called blame. The blame can be made public by the voter without revealing it&#39;s vote and thus ensures immutability and also persitance after votes are published. The auditable part here are the votes themselves signed with pseudonym which contract voter&#39;s clients to follow up at latter periods with consistency proofs. On top of that, other monitors can synchronize the ballotbox ledger and add assurances that way.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/PeaceFounder/PeaceFounder.jl/blob/da8a05a1e895011e63534eb9864ae7320d1b0dd8/src/Core/AuditTools.jl#L1-L67">source</a></section></article></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../model/">« PeaceFounder.Core.Model</a><a class="docs-footer-nextpage" href="../controllers/">PeaceFounder.Server.Controllers »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.3.0 on <span class="colophon-date" title="Saturday 8 June 2024 21:46">Saturday 8 June 2024</span>. Using Julia version 1.10.4.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+audit(chain::BraidChainLedger, bbox::BallotBoxLedger, root::Digest, N::Int = length(bbox))</code></pre><p>Note that this audit does not check honesty of the <code>registrar</code> that it have admitted fake users to gain more influence in the ellection result. Properties being verified by the audit:</p><ul><li>Legitimacy: only and all eligiable voters cast their votes;</li><li>Fairness: every eligiable voter can vote at most once;</li><li>Immutability: no vote can be deleted or modified when recorded in the ledger; </li><li>Tallied as Cast: all cast votes are counted honestly to predetermined procedure; </li><li>Software independence: the previously audited properties for the evidence does not </li></ul><p>depend on a trust in honest execution of peacefounder service nor honesty of the braiders who provides new pseudonyms for the deme members. In other words the previously listed  properties would not be altered if adversary would have a full control over the peacefounder  service and the braiders. </p><p>The immutability is ensured from voter&#39;s clients updating their consistency proof chain which includes their vote. If the vote gets removed from a chain every single voter who had cast their vote would get a proof for inconsistent ledger state called blame. The blame can be made public by the voter without revealing it&#39;s vote and thus ensures immutability and also persitance after votes are published. The auditable part here are the votes themselves signed with pseudonym which contract voter&#39;s clients to follow up at latter periods with consistency proofs. On top of that, other monitors can synchronize the ballotbox ledger and add assurances that way.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/PeaceFounder/PeaceFounder.jl/blob/fd33df12000b483ec94562cdae729ad709714daa/src/Core/AuditTools.jl#L1-L67">source</a></section></article></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../model/">« PeaceFounder.Core.Model</a><a class="docs-footer-nextpage" href="../controllers/">PeaceFounder.Server.Controllers »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.3.0 on <span class="colophon-date" title="Friday 14 June 2024 22:19">Friday 14 June 2024</span>. Using Julia version 1.10.4.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>