From aec7036e1d4f9eed96987d4a92e4c698dd453a26 Mon Sep 17 00:00:00 2001 From: Cofson Date: Tue, 23 Dec 2025 18:34:57 +0100 Subject: [PATCH] Apply specs_practices.md style rules: remove RFC 2119 from refs, remove duplicate intro, add Filip as contributor, move refs before copyright --- nomos/raw/cryptarchia-proof-of-leadership.md | 26 ++++---------------- 1 file changed, 5 insertions(+), 21 deletions(-) diff --git a/nomos/raw/cryptarchia-proof-of-leadership.md b/nomos/raw/cryptarchia-proof-of-leadership.md index d9e6303..22208ed 100644 --- a/nomos/raw/cryptarchia-proof-of-leadership.md +++ b/nomos/raw/cryptarchia-proof-of-leadership.md @@ -11,6 +11,7 @@ contributors: - Daniel Sanchez Quiros - Álvaro Castro-Castilla - David Rusu + - Filip Dimitrijevic --- ## Abstract @@ -31,21 +32,6 @@ The keywords "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in RFC 2119. -## Introduction - -The Proof of Leadership enables a leader to produce a zero-knowledge proof -attesting to the fact that they have an eligible note -that has won the leadership lottery. -This proof MUST be as lightweight as possible to generate and verify, -due to the following reasons: - -- Impose minimal restrictions on access to the role of leader - and thus maximize the decentralization of that role. -- Similarly, the proof and its context MUST be efficiently verifiable for validators. - -This document extends the work presented in the Ouroboros Crypsinous paper -with recent cryptographic developments. - ## Overview ### Overview of the Protocol @@ -531,16 +517,10 @@ The material used for the benchmarks is the following: ![Average proving time vs number of threads (100 Runs)](assets/pol-benchmark-proving-time.webp) -## Copyright - -Copyright and related rights waived via [CC0](https://creativecommons.org/publicdomain/zero/1.0/). - ## References ### Normative -- [RFC 2119](https://www.ietf.org/rfc/rfc2119.txt) - \- Key words for use in RFCs to Indicate Requirement Levels - [Cryptarchia v1 Protocol Specification](https://nomos-tech.notion.site/Cryptarchia-v1-Protocol-Specification-21c261aa09df810cb85eff1c76e5798c) \- Parent protocol specification @@ -550,3 +530,7 @@ Copyright and related rights waived via [CC0](https://creativecommons.org/public \- Original Proof of Leadership documentation - [Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake](https://eprint.iacr.org/2018/1132.pdf) \- Foundation for the PoL design + +## Copyright + +Copyright and related rights waived via [CC0](https://creativecommons.org/publicdomain/zero/1.0/).