1use core::{marker::PhantomData, fmt::Debug};
2use std::io::{self, Read, Write};
3
4use zeroize::Zeroizing;
5use rand_core::{RngCore, CryptoRng};
6
7use transcript::Transcript;
8
9use crate::{Participant, ThresholdKeys, ThresholdView, Curve, FrostError};
10pub use schnorr::SchnorrSignature;
11
12pub trait WriteAddendum {
14 fn write<W: Write>(&self, writer: &mut W) -> io::Result<()>;
15}
16
17impl WriteAddendum for () {
18 fn write<W: Write>(&self, _: &mut W) -> io::Result<()> {
19 Ok(())
20 }
21}
22
23pub trait Addendum: Send + Sync + Clone + PartialEq + Debug + WriteAddendum {}
25impl<A: Send + Sync + Clone + PartialEq + Debug + WriteAddendum> Addendum for A {}
26
27pub trait Algorithm<C: Curve>: Send + Sync {
29 type Transcript: Sync + Clone + Debug + Transcript;
32 type Addendum: Addendum;
34 type Signature: Clone + PartialEq + Debug;
36
37 fn transcript(&mut self) -> &mut Self::Transcript;
39
40 fn nonces(&self) -> Vec<Vec<C::G>>;
50
51 fn preprocess_addendum<R: RngCore + CryptoRng>(
53 &mut self,
54 rng: &mut R,
55 keys: &ThresholdKeys<C>,
56 ) -> Self::Addendum;
57
58 fn read_addendum<R: Read>(&self, reader: &mut R) -> io::Result<Self::Addendum>;
60
61 fn process_addendum(
63 &mut self,
64 params: &ThresholdView<C>,
65 l: Participant,
66 reader: Self::Addendum,
67 ) -> Result<(), FrostError>;
68
69 fn sign_share(
74 &mut self,
75 params: &ThresholdView<C>,
76 nonce_sums: &[Vec<C::G>],
77 nonces: Vec<Zeroizing<C::F>>,
78 msg: &[u8],
79 ) -> C::F;
80
81 #[must_use]
83 fn verify(&self, group_key: C::G, nonces: &[Vec<C::G>], sum: C::F) -> Option<Self::Signature>;
84
85 #[allow(clippy::type_complexity, clippy::result_unit_err)]
89 fn verify_share(
90 &self,
91 verification_share: C::G,
92 nonces: &[Vec<C::G>],
93 share: C::F,
94 ) -> Result<Vec<(C::F, C::G)>, ()>;
95}
96
97mod sealed {
98 pub use super::*;
99
100 #[derive(Clone, Debug)]
103 pub struct IetfTranscript(pub(crate) Vec<u8>);
104 impl Transcript for IetfTranscript {
105 type Challenge = Vec<u8>;
106
107 fn new(_: &'static [u8]) -> IetfTranscript {
108 IetfTranscript(vec![])
109 }
110
111 fn domain_separate(&mut self, _: &[u8]) {}
112
113 fn append_message<M: AsRef<[u8]>>(&mut self, _: &'static [u8], message: M) {
114 self.0.extend(message.as_ref());
115 }
116
117 fn challenge(&mut self, _: &'static [u8]) -> Vec<u8> {
118 self.0.clone()
119 }
120
121 fn rng_seed(&mut self, _: &'static [u8]) -> [u8; 32] {
123 unimplemented!()
124 }
125 }
126}
127pub(crate) use sealed::IetfTranscript;
128
129pub trait Hram<C: Curve>: Send + Sync + Clone {
131 #[allow(non_snake_case)]
134 fn hram(R: &C::G, A: &C::G, m: &[u8]) -> C::F;
135}
136
137#[derive(Clone)]
141pub struct Schnorr<C: Curve, T: Sync + Clone + Debug + Transcript, H: Hram<C>> {
142 transcript: T,
143 c: Option<C::F>,
144 _hram: PhantomData<H>,
145}
146
147pub type IetfSchnorr<C, H> = Schnorr<C, IetfTranscript, H>;
156
157impl<C: Curve, T: Sync + Clone + Debug + Transcript, H: Hram<C>> Schnorr<C, T, H> {
158 pub fn new(transcript: T) -> Schnorr<C, T, H> {
160 Schnorr { transcript, c: None, _hram: PhantomData }
161 }
162}
163
164impl<C: Curve, H: Hram<C>> IetfSchnorr<C, H> {
165 pub fn ietf() -> IetfSchnorr<C, H> {
169 Schnorr::new(IetfTranscript(vec![]))
170 }
171}
172
173impl<C: Curve, T: Sync + Clone + Debug + Transcript, H: Hram<C>> Algorithm<C> for Schnorr<C, T, H> {
174 type Transcript = T;
175 type Addendum = ();
176 type Signature = SchnorrSignature<C>;
177
178 fn transcript(&mut self) -> &mut Self::Transcript {
179 &mut self.transcript
180 }
181
182 fn nonces(&self) -> Vec<Vec<C::G>> {
183 vec![vec![C::generator()]]
184 }
185
186 fn preprocess_addendum<R: RngCore + CryptoRng>(&mut self, _: &mut R, _: &ThresholdKeys<C>) {}
187
188 fn read_addendum<R: Read>(&self, _: &mut R) -> io::Result<Self::Addendum> {
189 Ok(())
190 }
191
192 fn process_addendum(
193 &mut self,
194 _: &ThresholdView<C>,
195 _: Participant,
196 (): (),
197 ) -> Result<(), FrostError> {
198 Ok(())
199 }
200
201 fn sign_share(
202 &mut self,
203 params: &ThresholdView<C>,
204 nonce_sums: &[Vec<C::G>],
205 mut nonces: Vec<Zeroizing<C::F>>,
206 msg: &[u8],
207 ) -> C::F {
208 let c = H::hram(&nonce_sums[0][0], ¶ms.group_key(), msg);
209 self.c = Some(c);
210 SchnorrSignature::<C>::sign(params.secret_share(), nonces.swap_remove(0), c).s
211 }
212
213 #[must_use]
214 fn verify(&self, group_key: C::G, nonces: &[Vec<C::G>], sum: C::F) -> Option<Self::Signature> {
215 let sig = SchnorrSignature { R: nonces[0][0], s: sum };
216 Some(sig).filter(|sig| sig.verify(group_key, self.c.unwrap()))
217 }
218
219 fn verify_share(
220 &self,
221 verification_share: C::G,
222 nonces: &[Vec<C::G>],
223 share: C::F,
224 ) -> Result<Vec<(C::F, C::G)>, ()> {
225 Ok(
226 SchnorrSignature::<C> { R: nonces[0][0], s: share }
227 .batch_statements(verification_share, self.c.unwrap())
228 .to_vec(),
229 )
230 }
231}