| 1 | |
|
| 2 | |
|
| 3 | |
|
| 4 | |
|
| 5 | |
|
| 6 | |
|
| 7 | |
|
| 8 | |
|
| 9 | |
|
| 10 | |
|
| 11 | |
|
| 12 | |
|
| 13 | |
|
| 14 | |
|
| 15 | |
|
| 16 | |
|
| 17 | | use crate::cbor::{self, Value}; |
| 18 | | use crate::hash::{KeyId, ObjectRef}; |
| 19 | | use crate::identity::{verify, Domain, Identity, SecretKey, Signature}; |
| 20 | | use crate::objects::{array, bytes, check_version, field, map, oref, text, uint, ObjectError}; |
| 21 | | use sha2::{Digest, Sha256}; |
| 22 | |
|
| 23 | |
|
| 24 | | pub type Hash = [u8; 32]; |
| 25 | |
|
| 26 | |
|
| 27 | | pub const TILE_HEIGHT: u32 = 8; |
| 28 | |
|
| 29 | | pub const TILE_WIDTH: u64 = 1 << TILE_HEIGHT; |
| 30 | |
|
| 31 | | #[derive(Clone, Debug, PartialEq, Eq, thiserror::Error)] |
| 32 | | pub enum TlogError { |
| 33 | | #[error("the proof does not verify")] |
| 34 | | ProofFailed, |
| 35 | | #[error("{0}")] |
| 36 | | BadIndex(String), |
| 37 | | #[error("reading the log's hashes: {0}")] |
| 38 | | Read(String), |
| 39 | | #[error("not a valid note: {0}")] |
| 40 | | BadNote(String), |
| 41 | | #[error("{0}")] |
| 42 | | BadSignature(String), |
| 43 | | #[error("{0}")] |
| 44 | | Schema(String), |
| 45 | | } |
| 46 | |
|
| 47 | | impl From<ObjectError> for TlogError { |
| 48 | 0× | fn from(e: ObjectError) -> Self { |
| 49 | 0× | TlogError::Schema(e.to_string()) |
| 50 | 0× | } |
| 51 | | } |
| 52 | |
|
| 53 | | type Result<T> = std::result::Result<T, TlogError>; |
| 54 | |
|
| 55 | |
|
| 56 | |
|
| 57 | |
|
| 58 | 70268× | pub fn leaf_hash(entry: &[u8]) -> Hash { |
| 59 | 70268× | let mut h = blake3::Hasher::new(); |
| 60 | 70268× | h.update(b"oxygen-tlog-leaf\0"); |
| 61 | 70268× | h.update(entry); |
| 62 | 70268× | *h.finalize().as_bytes() |
| 63 | 70268× | } |
| 64 | |
|
| 65 | |
|
| 66 | 564519× | pub fn node_hash(left: &Hash, right: &Hash) -> Hash { |
| 67 | 564519× | let mut h = blake3::Hasher::new(); |
| 68 | 564519× | h.update(b"oxygen-tlog-node\0"); |
| 69 | 564519× | h.update(left); |
| 70 | 564519× | h.update(right); |
| 71 | 564519× | *h.finalize().as_bytes() |
| 72 | 564519× | } |
| 73 | |
|
| 74 | |
|
| 75 | 9× | pub fn empty_root() -> Hash { |
| 76 | 9× | *blake3::hash(b"").as_bytes() |
| 77 | 9× | } |
| 78 | |
|
| 79 | |
|
| 80 | |
|
| 81 | |
|
| 82 | |
|
| 83 | |
|
| 84 | | #[derive(Clone, Debug, PartialEq, Eq)] |
| 85 | | pub struct Entry { |
| 86 | | |
| 87 | | |
| 88 | | pub kind: String, |
| 89 | | |
| 90 | | pub repo: [u8; 16], |
| 91 | | |
| 92 | | pub object: ObjectRef, |
| 93 | | |
| 94 | | pub signers: Vec<KeyId>, |
| 95 | | |
| 96 | | pub received: u64, |
| 97 | | } |
| 98 | |
|
| 99 | | impl Entry { |
| 100 | 60× | pub fn to_value(&self) -> Value { |
| 101 | 60× | Value::map([ |
| 102 | 60× | (0, Value::Uint(1)), |
| 103 | 60× | (1, Value::Text(self.kind.clone())), |
| 104 | 60× | (2, Value::Bytes(self.repo.to_vec())), |
| 105 | 60× | (3, Value::Bytes(self.object.0.to_vec())), |
| 106 | | ( |
| 107 | | 4, |
| 108 | | Value::Array( |
| 109 | 60× | self.signers |
| 110 | 60× | .iter() |
| 111 | 60× | .map(|k| Value::Bytes(k.0.to_vec())) |
| 112 | 60× | .collect(), |
| 113 | | ), |
| 114 | | ), |
| 115 | 60× | (5, Value::Uint(self.received)), |
| 116 | | ]) |
| 117 | 60× | } |
| 118 | |
|
| 119 | 60× | pub fn encode(&self) -> Vec<u8> { |
| 120 | 60× | cbor::encode(&self.to_value()) |
| 121 | 60× | } |
| 122 | |
|
| 123 | 5× | pub fn decode(b: &[u8]) -> Result<Entry> { |
| 124 | 5× | let v = cbor::decode(b).map_err(ObjectError::from)?; |
| 125 | 5× | let m = map(&v, "log entry")?; |
| 126 | 5× | check_version(m)?; |
| 127 | 5× | let repo = bytes(field(m, 2, "repo")?, "repo")?; |
| 128 | 5× | let repo: [u8; 16] = repo |
| 129 | 5× | .try_into() |
| 130 | 5× | .map_err(|_| TlogError::Schema("log entry: repo is not 16 bytes".into()))?; |
| 131 | 5× | let mut signers = Vec::new(); |
| 132 | 5× | for s in array(field(m, 4, "signers")?, "signers")? { |
| 133 | 5× | signers.push(oref(s, "signer")?); |
| 134 | | } |
| 135 | | Ok(Entry { |
| 136 | 5× | kind: text(field(m, 1, "kind")?, "kind")?.to_owned(), |
| 137 | 5× | repo, |
| 138 | 5× | object: oref(field(m, 3, "object")?, "object")?, |
| 139 | 5× | signers, |
| 140 | 5× | received: uint(field(m, 5, "received")?, "received")?, |
| 141 | | }) |
| 142 | 5× | } |
| 143 | |
|
| 144 | | |
| 145 | 1× | pub fn leaf_hash(&self) -> Hash { |
| 146 | 1× | leaf_hash(&self.encode()) |
| 147 | 1× | } |
| 148 | | } |
| 149 | |
|
| 150 | |
|
| 151 | |
|
| 152 | 1× | pub fn encode_bundle(entries: &[Vec<u8>]) -> Result<Vec<u8>> { |
| 153 | 1× | let mut out = Vec::new(); |
| 154 | 2× | for e in entries { |
| 155 | 2× | let n = u16::try_from(e.len()) |
| 156 | 2× | .map_err(|_| TlogError::Schema("a log entry over 65535 bytes".into()))?; |
| 157 | 2× | out.extend_from_slice(&n.to_be_bytes()); |
| 158 | 2× | out.extend_from_slice(e); |
| 159 | | } |
| 160 | 1× | Ok(out) |
| 161 | 1× | } |
| 162 | |
|
| 163 | |
|
| 164 | 2× | pub fn decode_bundle(mut b: &[u8]) -> Result<Vec<Vec<u8>>> { |
| 165 | 2× | let mut out = Vec::new(); |
| 166 | 5× | while !b.is_empty() { |
| 167 | 4× | if b.len() < 2 { |
| 168 | 0× | return Err(TlogError::Schema("entry bundle: a truncated length".into())); |
| 169 | 4× | } |
| 170 | 4× | let n = u16::from_be_bytes([b[0], b[1]]) as usize; |
| 171 | 4× | if b.len() < 2 + n { |
| 172 | 1× | return Err(TlogError::Schema("entry bundle: a truncated entry".into())); |
| 173 | 3× | } |
| 174 | 3× | out.push(b[2..2 + n].to_vec()); |
| 175 | 3× | b = &b[2 + n..]; |
| 176 | | } |
| 177 | 1× | Ok(out) |
| 178 | 2× | } |
| 179 | |
|
| 180 | |
|
| 181 | |
|
| 182 | |
|
| 183 | | pub trait HashReader { |
| 184 | | |
| 185 | | fn read_hashes(&self, indexes: &[u64]) -> Result<Vec<Hash>>; |
| 186 | | } |
| 187 | |
|
| 188 | |
|
| 189 | | impl HashReader for [Hash] { |
| 190 | 100173× | fn read_hashes(&self, indexes: &[u64]) -> Result<Vec<Hash>> { |
| 191 | 100173× | indexes |
| 192 | 100173× | .iter() |
| 193 | 331646× | .map(|&i| { |
| 194 | 331646× | self.get(i as usize) |
| 195 | 331646× | .copied() |
| 196 | 331646× | .ok_or_else(|| TlogError::Read(format!("no stored hash {i}"))) |
| 197 | 331646× | }) |
| 198 | 100173× | .collect() |
| 199 | 100173× | } |
| 200 | | } |
| 201 | |
|
| 202 | | impl HashReader for Vec<Hash> { |
| 203 | 100173× | fn read_hashes(&self, indexes: &[u64]) -> Result<Vec<Hash>> { |
| 204 | 100173× | self.as_slice().read_hashes(indexes) |
| 205 | 100173× | } |
| 206 | | } |
| 207 | |
|
| 208 | |
|
| 209 | 948330× | fn maxpow2(n: u64) -> (u64, u32) { |
| 210 | 948330× | let mut l = 0; |
| 211 | 3629898× | while (1u64 << (l + 1)) < n { |
| 212 | 2681568× | l += 1; |
| 213 | 2681568× | } |
| 214 | 948330× | (1 << l, l) |
| 215 | 948330× | } |
| 216 | |
|
| 217 | |
|
| 218 | |
|
| 219 | |
|
| 220 | 515626× | pub fn stored_hash_index(level: u32, mut n: u64) -> u64 { |
| 221 | 549189× | for _ in 0..level { |
| 222 | 549189× | n = 2 * n + 1; |
| 223 | 549189× | } |
| 224 | 515626× | let mut i = 0; |
| 225 | 515626× | let mut m = n; |
| 226 | 6528807× | while m > 0 { |
| 227 | 6013181× | i += m; |
| 228 | 6013181× | m >>= 1; |
| 229 | 6013181× | } |
| 230 | 515626× | i + level as u64 |
| 231 | 515626× | } |
| 232 | |
|
| 233 | |
|
| 234 | 41800× | pub fn split_stored_hash_index(index: u64) -> (u32, u64) { |
| 235 | 41800× | let mut n = index / 2; |
| 236 | 41800× | let mut index_n = stored_hash_index(0, n); |
| 237 | 41800× | debug_assert!(index_n <= index); |
| 238 | | loop { |
| 239 | | |
| 240 | 203734× | let x = index_n + 1 + (n + 1).trailing_zeros() as u64; |
| 241 | 203734× | if x > index { |
| 242 | 41800× | break; |
| 243 | 161934× | } |
| 244 | 161934× | n += 1; |
| 245 | 161934× | index_n = x; |
| 246 | | } |
| 247 | 41800× | let level = (index - index_n) as u32; |
| 248 | 41800× | (level, n >> level) |
| 249 | 41800× | } |
| 250 | |
|
| 251 | |
|
| 252 | 70190× | pub fn stored_hash_count(n: u64) -> u64 { |
| 253 | 70190× | if n == 0 { |
| 254 | 0× | return 0; |
| 255 | 70190× | } |
| 256 | 70190× | let mut count = stored_hash_index(0, n - 1) + 1; |
| 257 | 70190× | let mut i = n - 1; |
| 258 | 140367× | while i & 1 != 0 { |
| 259 | 70177× | count += 1; |
| 260 | 70177× | i >>= 1; |
| 261 | 70177× | } |
| 262 | 70190× | count |
| 263 | 70190× | } |
| 264 | |
|
| 265 | |
|
| 266 | |
|
| 267 | 70247× | pub fn stored_hashes_for_leaf( |
| 268 | 70247× | n: u64, |
| 269 | 70247× | leaf: Hash, |
| 270 | 70247× | r: &(impl HashReader + ?Sized), |
| 271 | 70247× | ) -> Result<Vec<Hash>> { |
| 272 | 70247× | let m = (n + 1).trailing_zeros(); |
| 273 | 70247× | let indexes: Vec<u64> = (0..m) |
| 274 | 70247× | .rev() |
| 275 | 70247× | .map(|i| stored_hash_index(i, (n >> i) - 1)) |
| 276 | 70247× | .collect(); |
| 277 | 70247× | let old = r.read_hashes(&indexes)?; |
| 278 | 70247× | let mut h = leaf; |
| 279 | 70247× | let mut out = vec![h]; |
| 280 | 70247× | for i in 0..m as usize { |
| 281 | 70229× | h = node_hash(&old[m as usize - 1 - i], &h); |
| 282 | 70229× | out.push(h); |
| 283 | 70229× | } |
| 284 | 70247× | Ok(out) |
| 285 | 70247× | } |
| 286 | |
|
| 287 | 141470× | fn sub_tree_index(mut lo: u64, hi: u64, need: &mut Vec<u64>) { |
| 288 | 332613× | while lo < hi { |
| 289 | 191143× | let (k, level) = maxpow2(hi - lo + 1); |
| 290 | 191143× | debug_assert_eq!(lo & (k - 1), 0); |
| 291 | 191143× | need.push(stored_hash_index(level, lo >> level)); |
| 292 | 191143× | lo += k; |
| 293 | | } |
| 294 | 141470× | } |
| 295 | |
|
| 296 | 141470× | fn sub_tree_hash(mut lo: u64, hi: u64, hashes: &[Hash]) -> (Hash, &[Hash]) { |
| 297 | 141470× | let mut count = 0; |
| 298 | 332613× | while lo < hi { |
| 299 | 191143× | let (k, _) = maxpow2(hi - lo + 1); |
| 300 | 191143× | count += 1; |
| 301 | 191143× | lo += k; |
| 302 | 191143× | } |
| 303 | 141470× | let mut h = hashes[count - 1]; |
| 304 | 141470× | for i in (0..count - 1).rev() { |
| 305 | 49673× | h = node_hash(&hashes[i], &h); |
| 306 | 49673× | } |
| 307 | 141470× | (h, &hashes[count..]) |
| 308 | 141470× | } |
| 309 | |
|
| 310 | |
|
| 311 | 10030× | pub fn tree_hash(n: u64, r: &(impl HashReader + ?Sized)) -> Result<Hash> { |
| 312 | 10030× | if n == 0 { |
| 313 | 1× | return Ok(empty_root()); |
| 314 | 10029× | } |
| 315 | 10029× | let mut need = Vec::new(); |
| 316 | 10029× | sub_tree_index(0, n, &mut need); |
| 317 | 10029× | let hashes = r.read_hashes(&need)?; |
| 318 | 10029× | Ok(sub_tree_hash(0, n, &hashes).0) |
| 319 | 10030× | } |
| 320 | |
|
| 321 | 76061× | fn leaf_proof_index(lo: u64, hi: u64, n: u64, need: &mut Vec<u64>) { |
| 322 | 76061× | if lo + 1 == hi { |
| 323 | 9887× | return; |
| 324 | 66174× | } |
| 325 | 66174× | let (k, _) = maxpow2(hi - lo); |
| 326 | 66174× | if n < lo + k { |
| 327 | 35738× | leaf_proof_index(lo, lo + k, n, need); |
| 328 | 35738× | sub_tree_index(lo + k, hi, need); |
| 329 | 35738× | } else { |
| 330 | 30436× | sub_tree_index(lo, lo + k, need); |
| 331 | 30436× | leaf_proof_index(lo + k, hi, n, need); |
| 332 | 30436× | } |
| 333 | 76061× | } |
| 334 | |
|
| 335 | 76060× | fn leaf_proof(lo: u64, hi: u64, n: u64, hashes: &[Hash]) -> (Vec<Hash>, &[Hash]) { |
| 336 | 76060× | if lo + 1 == hi { |
| 337 | | |
| 338 | 9886× | return (Vec::new(), hashes); |
| 339 | 66174× | } |
| 340 | 66174× | let (k, _) = maxpow2(hi - lo); |
| 341 | | let (mut p, th, rest); |
| 342 | 66174× | if n < lo + k { |
| 343 | 35738× | let (pp, h1) = leaf_proof(lo, lo + k, n, hashes); |
| 344 | 35738× | let (t, h2) = sub_tree_hash(lo + k, hi, h1); |
| 345 | 35738× | (p, th, rest) = (pp, t, h2); |
| 346 | 35738× | } else { |
| 347 | 30436× | let (t, h1) = sub_tree_hash(lo, lo + k, hashes); |
| 348 | 30436× | let (pp, h2) = leaf_proof(lo + k, hi, n, h1); |
| 349 | 30436× | (p, th, rest) = (pp, t, h2); |
| 350 | 30436× | } |
| 351 | 66174× | p.push(th); |
| 352 | 66174× | (p, rest) |
| 353 | 76060× | } |
| 354 | |
|
| 355 | |
|
| 356 | 9887× | pub fn prove_inclusion(t: u64, n: u64, r: &(impl HashReader + ?Sized)) -> Result<Vec<Hash>> { |
| 357 | 9887× | if n >= t { |
| 358 | 0× | return Err(TlogError::BadIndex(format!( |
| 359 | 0× | "leaf {n} is not in a tree of {t}" |
| 360 | 0× | ))); |
| 361 | 9887× | } |
| 362 | 9887× | let mut need = Vec::new(); |
| 363 | 9887× | leaf_proof_index(0, t, n, &mut need); |
| 364 | 9887× | if need.is_empty() { |
| 365 | 1× | return Ok(Vec::new()); |
| 366 | 9886× | } |
| 367 | 9886× | let hashes = r.read_hashes(&need)?; |
| 368 | 9886× | Ok(leaf_proof(0, t, n, &hashes).0) |
| 369 | 9887× | } |
| 370 | |
|
| 371 | 228020× | fn run_inclusion(p: &[Hash], lo: u64, hi: u64, n: u64, leaf: Hash) -> Result<Hash> { |
| 372 | 228020× | if lo + 1 == hi { |
| 373 | 29626× | return if p.is_empty() { |
| 374 | 29625× | Ok(leaf) |
| 375 | | } else { |
| 376 | 1× | Err(TlogError::ProofFailed) |
| 377 | | }; |
| 378 | 198394× | } |
| 379 | 198394× | let Some((last, rest)) = p.split_last() else { |
| 380 | 0× | return Err(TlogError::ProofFailed); |
| 381 | | }; |
| 382 | 198394× | let (k, _) = maxpow2(hi - lo); |
| 383 | 198394× | if n < lo + k { |
| 384 | 107175× | Ok(node_hash(&run_inclusion(rest, lo, lo + k, n, leaf)?, last)) |
| 385 | | } else { |
| 386 | 91219× | Ok(node_hash(last, &run_inclusion(rest, lo + k, hi, n, leaf)?)) |
| 387 | | } |
| 388 | 228020× | } |
| 389 | |
|
| 390 | |
|
| 391 | |
|
| 392 | 29627× | pub fn check_inclusion(proof: &[Hash], t: u64, root: &Hash, n: u64, leaf: &Hash) -> Result<()> { |
| 393 | 29627× | if n >= t { |
| 394 | 1× | return Err(TlogError::ProofFailed); |
| 395 | 29626× | } |
| 396 | 29626× | if run_inclusion(proof, 0, t, n, *leaf)? == *root { |
| 397 | 9886× | Ok(()) |
| 398 | | } else { |
| 399 | 19739× | Err(TlogError::ProofFailed) |
| 400 | | } |
| 401 | 29627× | } |
| 402 | |
|
| 403 | 66273× | fn tree_proof_index(lo: u64, hi: u64, n: u64, need: &mut Vec<u64>) { |
| 404 | 66273× | if n == hi { |
| 405 | 9874× | if lo != 0 { |
| 406 | 8868× | sub_tree_index(lo, hi, need); |
| 407 | 8868× | } |
| 408 | 9874× | return; |
| 409 | 56399× | } |
| 410 | 56399× | let (k, _) = maxpow2(hi - lo); |
| 411 | 56399× | if n <= lo + k { |
| 412 | 35735× | tree_proof_index(lo, lo + k, n, need); |
| 413 | 35735× | sub_tree_index(lo + k, hi, need); |
| 414 | 35735× | } else { |
| 415 | 20664× | sub_tree_index(lo, lo + k, need); |
| 416 | 20664× | tree_proof_index(lo + k, hi, n, need); |
| 417 | 20664× | } |
| 418 | 66273× | } |
| 419 | |
|
| 420 | 66133× | fn tree_proof(lo: u64, hi: u64, n: u64, hashes: &[Hash]) -> (Vec<Hash>, &[Hash]) { |
| 421 | 66133× | if n == hi { |
| 422 | 9734× | if lo == 0 { |
| 423 | | |
| 424 | 866× | return (Vec::new(), hashes); |
| 425 | 8868× | } |
| 426 | 8868× | let (th, rest) = sub_tree_hash(lo, hi, hashes); |
| 427 | 8868× | return (vec![th], rest); |
| 428 | 56399× | } |
| 429 | 56399× | let (k, _) = maxpow2(hi - lo); |
| 430 | | let (mut p, th, rest); |
| 431 | 56399× | if n <= lo + k { |
| 432 | 35735× | let (pp, h1) = tree_proof(lo, lo + k, n, hashes); |
| 433 | 35735× | let (t, h2) = sub_tree_hash(lo + k, hi, h1); |
| 434 | 35735× | (p, th, rest) = (pp, t, h2); |
| 435 | 35735× | } else { |
| 436 | 20664× | let (t, h1) = sub_tree_hash(lo, lo + k, hashes); |
| 437 | 20664× | let (pp, h2) = tree_proof(lo + k, hi, n, h1); |
| 438 | 20664× | (p, th, rest) = (pp, t, h2); |
| 439 | 20664× | } |
| 440 | 56399× | p.push(th); |
| 441 | 56399× | (p, rest) |
| 442 | 66133× | } |
| 443 | |
|
| 444 | |
|
| 445 | |
|
| 446 | 9874× | pub fn prove_consistency(t: u64, n: u64, r: &(impl HashReader + ?Sized)) -> Result<Vec<Hash>> { |
| 447 | 9874× | if n < 1 || n > t { |
| 448 | 0× | return Err(TlogError::BadIndex(format!( |
| 449 | 0× | "no consistency proof from {n} to {t}" |
| 450 | 0× | ))); |
| 451 | 9874× | } |
| 452 | 9874× | let mut need = Vec::new(); |
| 453 | 9874× | tree_proof_index(0, t, n, &mut need); |
| 454 | 9874× | if need.is_empty() { |
| 455 | 140× | return Ok(Vec::new()); |
| 456 | 9734× | } |
| 457 | 9734× | let hashes = r.read_hashes(&need)?; |
| 458 | 9734× | Ok(tree_proof(0, t, n, &hashes).0) |
| 459 | 9874× | } |
| 460 | |
|
| 461 | 132377× | fn run_consistency(p: &[Hash], lo: u64, hi: u64, n: u64, old: Hash) -> Result<(Hash, Hash)> { |
| 462 | 132377× | if n == hi { |
| 463 | 19603× | if lo == 0 { |
| 464 | 1871× | return if p.is_empty() { |
| 465 | 1871× | Ok((old, old)) |
| 466 | | } else { |
| 467 | 0× | Err(TlogError::ProofFailed) |
| 468 | | }; |
| 469 | 17732× | } |
| 470 | 17732× | return match p { |
| 471 | 17732× | [h] => Ok((*h, *h)), |
| 472 | 0× | _ => Err(TlogError::ProofFailed), |
| 473 | | }; |
| 474 | 112774× | } |
| 475 | 112774× | let Some((last, rest)) = p.split_last() else { |
| 476 | 0× | return Err(TlogError::ProofFailed); |
| 477 | | }; |
| 478 | 112774× | let (k, _) = maxpow2(hi - lo); |
| 479 | 112774× | if n <= lo + k { |
| 480 | 71450× | let (oh, th) = run_consistency(rest, lo, lo + k, n, old)?; |
| 481 | 71450× | Ok((oh, node_hash(&th, last))) |
| 482 | | } else { |
| 483 | 41324× | let (oh, th) = run_consistency(rest, lo + k, hi, n, old)?; |
| 484 | 41324× | Ok((node_hash(last, &oh), node_hash(last, &th))) |
| 485 | | } |
| 486 | 132377× | } |
| 487 | |
|
| 488 | |
|
| 489 | |
|
| 490 | 19603× | pub fn check_consistency( |
| 491 | 19603× | proof: &[Hash], |
| 492 | 19603× | t: u64, |
| 493 | 19603× | root: &Hash, |
| 494 | 19603× | n: u64, |
| 495 | 19603× | old_root: &Hash, |
| 496 | 19603× | ) -> Result<()> { |
| 497 | 19603× | if n < 1 || n > t { |
| 498 | 0× | return Err(TlogError::ProofFailed); |
| 499 | 19603× | } |
| 500 | 19603× | let (oh, th) = run_consistency(proof, 0, t, n, *old_root)?; |
| 501 | 19603× | if oh == *old_root && th == *root { |
| 502 | 9872× | Ok(()) |
| 503 | | } else { |
| 504 | 9731× | Err(TlogError::ProofFailed) |
| 505 | | } |
| 506 | 19603× | } |
| 507 | |
|
| 508 | |
|
| 509 | |
|
| 510 | |
|
| 511 | |
|
| 512 | | #[derive(Clone, Copy, Debug, PartialEq, Eq)] |
| 513 | | pub struct Tile { |
| 514 | | pub level: u32, |
| 515 | | pub n: u64, |
| 516 | | pub width: u32, |
| 517 | | } |
| 518 | |
|
| 519 | |
|
| 520 | |
|
| 521 | 5× | pub fn index_path(n: u64) -> String { |
| 522 | 5× | let mut groups = Vec::new(); |
| 523 | 5× | let mut m = n; |
| 524 | | loop { |
| 525 | 9× | groups.push(m % 1000); |
| 526 | 9× | m /= 1000; |
| 527 | 9× | if m == 0 { |
| 528 | 5× | break; |
| 529 | 4× | } |
| 530 | | } |
| 531 | 5× | groups.reverse(); |
| 532 | 5× | let last = groups.len() - 1; |
| 533 | 5× | groups |
| 534 | 5× | .iter() |
| 535 | 5× | .enumerate() |
| 536 | 9× | .map(|(i, g)| { |
| 537 | 9× | if i < last { |
| 538 | 4× | format!("x{g:03}") |
| 539 | | } else { |
| 540 | 5× | format!("{g:03}") |
| 541 | | } |
| 542 | 9× | }) |
| 543 | 5× | .collect::<Vec<_>>() |
| 544 | 5× | .join("/") |
| 545 | 5× | } |
| 546 | |
|
| 547 | |
|
| 548 | 3× | pub fn parse_index_path(path: &str) -> Option<u64> { |
| 549 | 3× | let parts: Vec<&str> = path.split('/').collect(); |
| 550 | 3× | let mut n: u64 = 0; |
| 551 | 7× | for (i, p) in parts.iter().enumerate() { |
| 552 | 7× | let digits = if i + 1 < parts.len() { |
| 553 | 5× | p.strip_prefix('x')? |
| 554 | | } else { |
| 555 | 2× | p |
| 556 | | }; |
| 557 | 18× | if digits.len() != 3 || !digits.bytes().all(|c| c.is_ascii_digit()) { |
| 558 | 0× | return None; |
| 559 | 6× | } |
| 560 | 6× | n = n.checked_mul(1000)?.checked_add(digits.parse().ok()?)?; |
| 561 | | } |
| 562 | 2× | Some(n) |
| 563 | 3× | } |
| 564 | |
|
| 565 | | impl Tile { |
| 566 | | |
| 567 | 1× | pub fn path(&self) -> String { |
| 568 | 1× | format!( |
| 569 | | "tile/{}/{}{}", |
| 570 | | self.level, |
| 571 | 1× | index_path(self.n), |
| 572 | 1× | self.partial() |
| 573 | | ) |
| 574 | 1× | } |
| 575 | |
|
| 576 | | |
| 577 | 1× | pub fn entries_path(&self) -> String { |
| 578 | 1× | format!("tile/entries/{}{}", index_path(self.n), self.partial()) |
| 579 | 1× | } |
| 580 | |
|
| 581 | 2× | fn partial(&self) -> String { |
| 582 | 2× | if (self.width as u64) < TILE_WIDTH { |
| 583 | 1× | format!(".p/{}", self.width) |
| 584 | | } else { |
| 585 | 1× | String::new() |
| 586 | | } |
| 587 | 2× | } |
| 588 | |
|
| 589 | | |
| 590 | 2× | pub fn parse(path: &str) -> Option<Tile> { |
| 591 | 2× | let (level, rest) = path.split_once('/')?; |
| 592 | 2× | let level: u32 = level.parse().ok()?; |
| 593 | 2× | let (index, width) = match rest.split_once(".p/") { |
| 594 | 2× | Some((i, w)) => { |
| 595 | 2× | let w: u32 = w.parse().ok()?; |
| 596 | 2× | if w == 0 || w as u64 >= TILE_WIDTH { |
| 597 | 1× | return None; |
| 598 | 1× | } |
| 599 | 1× | (i, w) |
| 600 | | } |
| 601 | 0× | None => (rest, TILE_WIDTH as u32), |
| 602 | | }; |
| 603 | | Some(Tile { |
| 604 | 1× | level, |
| 605 | 1× | n: parse_index_path(index)?, |
| 606 | 1× | width, |
| 607 | | }) |
| 608 | 2× | } |
| 609 | |
|
| 610 | | |
| 611 | | |
| 612 | 40000× | pub fn for_index(index: u64) -> (Tile, usize, usize) { |
| 613 | 40000× | let (level, mut n) = split_stored_hash_index(index); |
| 614 | 40000× | let tl = level / TILE_HEIGHT; |
| 615 | 40000× | let within = level - tl * TILE_HEIGHT; |
| 616 | 40000× | let tn = (n << within) >> TILE_HEIGHT; |
| 617 | 40000× | n -= (tn << TILE_HEIGHT) >> within; |
| 618 | 40000× | let width = ((n + 1) << within) as u32; |
| 619 | 40000× | let tile = Tile { |
| 620 | 40000× | level: tl, |
| 621 | 40000× | n: tn, |
| 622 | 40000× | width, |
| 623 | 40000× | }; |
| 624 | 40000× | ( |
| 625 | 40000× | tile, |
| 626 | 40000× | ((n << within) * 32) as usize, |
| 627 | 40000× | (((n + 1) << within) * 32) as usize, |
| 628 | 40000× | ) |
| 629 | 40000× | } |
| 630 | |
|
| 631 | | |
| 632 | 277× | pub fn read_data(&self, r: &(impl HashReader + ?Sized)) -> Result<Vec<u8>> { |
| 633 | 277× | let start = self.n << TILE_HEIGHT; |
| 634 | 277× | let indexes: Vec<u64> = (0..self.width as u64) |
| 635 | 70274× | .map(|i| stored_hash_index(TILE_HEIGHT * self.level, start + i)) |
| 636 | 277× | .collect(); |
| 637 | 277× | Ok(r.read_hashes(&indexes)?.concat()) |
| 638 | 277× | } |
| 639 | |
|
| 640 | | |
| 641 | 20000× | pub fn hash_at(&self, data: &[u8], index: u64) -> Result<Hash> { |
| 642 | 20000× | if self.width == 0 |
| 643 | 20000× | || self.width as u64 > TILE_WIDTH |
| 644 | 20000× | || data.len() < self.width as usize * 32 |
| 645 | | { |
| 646 | 0× | return Err(TlogError::Read(format!("tile {} is short", self.path()))); |
| 647 | 20000× | } |
| 648 | 20000× | let (t, start, end) = Tile::for_index(index); |
| 649 | 20000× | if t.level != self.level || t.n != self.n || t.width > self.width { |
| 650 | 0× | return Err(TlogError::Read(format!( |
| 651 | 0× | "stored hash {index} is not in tile {}", |
| 652 | 0× | self.path() |
| 653 | 0× | ))); |
| 654 | 20000× | } |
| 655 | 20000× | Ok(tile_hash(&data[start..end])) |
| 656 | 20000× | } |
| 657 | |
|
| 658 | | |
| 659 | | |
| 660 | 2× | pub fn new_tiles(old: u64, new: u64) -> Vec<Tile> { |
| 661 | 2× | let mut tiles = Vec::new(); |
| 662 | 2× | let mut level = 0u32; |
| 663 | 8× | while level < 8 && (new >> (TILE_HEIGHT * level)) > 0 { |
| 664 | 6× | let old_n = old >> (TILE_HEIGHT * level); |
| 665 | 6× | let new_n = new >> (TILE_HEIGHT * level); |
| 666 | 6× | if old_n != new_n { |
| 667 | 275× | for n in (old_n >> TILE_HEIGHT)..(new_n >> TILE_HEIGHT) { |
| 668 | 275× | tiles.push(Tile { |
| 669 | 275× | level, |
| 670 | 275× | n, |
| 671 | 275× | width: TILE_WIDTH as u32, |
| 672 | 275× | }); |
| 673 | 275× | } |
| 674 | 5× | let n = new_n >> TILE_HEIGHT; |
| 675 | 5× | let w = new_n - (n << TILE_HEIGHT); |
| 676 | 5× | if w > 0 { |
| 677 | 5× | tiles.push(Tile { |
| 678 | 5× | level, |
| 679 | 5× | n, |
| 680 | 5× | width: w as u32, |
| 681 | 5× | }); |
| 682 | 5× | } |
| 683 | 1× | } |
| 684 | 6× | level += 1; |
| 685 | | } |
| 686 | 2× | tiles |
| 687 | 2× | } |
| 688 | | } |
| 689 | |
|
| 690 | 145600× | fn tile_hash(data: &[u8]) -> Hash { |
| 691 | 145600× | if data.len() == 32 { |
| 692 | 82800× | let mut h = [0u8; 32]; |
| 693 | 82800× | h.copy_from_slice(data); |
| 694 | 82800× | return h; |
| 695 | 62800× | } |
| 696 | 62800× | let half = data.len() / 2; |
| 697 | 62800× | node_hash(&tile_hash(&data[..half]), &tile_hash(&data[half..])) |
| 698 | 145600× | } |
| 699 | |
|
| 700 | |
|
| 701 | |
|
| 702 | |
|
| 703 | | #[derive(Clone, Debug, PartialEq, Eq)] |
| 704 | | pub struct NoteSignature { |
| 705 | | pub name: String, |
| 706 | | pub key_hash: [u8; 4], |
| 707 | | pub sig: Vec<u8>, |
| 708 | | } |
| 709 | |
|
| 710 | |
|
| 711 | | #[derive(Clone, Debug, PartialEq, Eq)] |
| 712 | | pub struct Note { |
| 713 | | |
| 714 | | pub text: String, |
| 715 | | pub sigs: Vec<NoteSignature>, |
| 716 | | } |
| 717 | |
|
| 718 | |
|
| 719 | | const SIG_ED25519: u8 = 0x01; |
| 720 | |
|
| 721 | | const SIG_COMPOSITE: u8 = 0x4f; |
| 722 | |
|
| 723 | 162× | fn key_hash(name: &str, sig_type: u8, key: &[u8]) -> [u8; 4] { |
| 724 | 162× | let mut h = Sha256::new(); |
| 725 | 162× | h.update(name.as_bytes()); |
| 726 | 162× | h.update(b"\n"); |
| 727 | 162× | h.update([sig_type]); |
| 728 | 162× | h.update(key); |
| 729 | 162× | let d = h.finalize(); |
| 730 | 162× | [d[0], d[1], d[2], d[3]] |
| 731 | 162× | } |
| 732 | |
|
| 733 | |
|
| 734 | 46× | fn note_target(text: &str) -> ObjectRef { |
| 735 | 46× | let mut h = blake3::Hasher::new(); |
| 736 | 46× | h.update(b"oxygen-tlog-note\0"); |
| 737 | 46× | h.update(text.as_bytes()); |
| 738 | 46× | ObjectRef(*h.finalize().as_bytes()) |
| 739 | 46× | } |
| 740 | |
|
| 741 | 180× | fn valid_name(name: &str) -> bool { |
| 742 | 2265× | !name.is_empty() && !name.contains(|c: char| c.is_whitespace() || c == '+') |
| 743 | 180× | } |
| 744 | |
|
| 745 | | impl Note { |
| 746 | | |
| 747 | 28× | pub fn encode(&self) -> String { |
| 748 | 28× | let mut out = self.text.clone(); |
| 749 | 28× | out.push('\n'); |
| 750 | 80× | for s in &self.sigs { |
| 751 | 80× | let mut b = s.key_hash.to_vec(); |
| 752 | 80× | b.extend_from_slice(&s.sig); |
| 753 | 80× | out.push_str(&format!( |
| 754 | 80× | "\u{2014} {} {}\n", |
| 755 | 80× | s.name, |
| 756 | 80× | crate::dsse::base64(&b) |
| 757 | 80× | )); |
| 758 | 80× | } |
| 759 | 28× | out |
| 760 | 28× | } |
| 761 | |
|
| 762 | 43× | pub fn parse(s: &str) -> Result<Note> { |
| 763 | 43× | let bad = |w: &str| TlogError::BadNote(w.to_string()); |
| 764 | 43× | let split = s |
| 765 | 43× | .rfind("\n\n") |
| 766 | 43× | .ok_or_else(|| bad("no blank line before the signatures"))?; |
| 767 | 43× | let text = &s[..split + 1]; |
| 768 | 2731× | if text.chars().any(|c| c.is_control() && c != '\n') { |
| 769 | 0× | return Err(bad("control characters in the text")); |
| 770 | 43× | } |
| 771 | 43× | let mut sigs = Vec::new(); |
| 772 | 148× | for line in s[split + 2..].lines() { |
| 773 | 148× | let rest = line |
| 774 | 148× | .strip_prefix("\u{2014} ") |
| 775 | 148× | .ok_or_else(|| bad("a signature line without its dash"))?; |
| 776 | 148× | let (name, b64) = rest |
| 777 | 148× | .split_once(' ') |
| 778 | 148× | .ok_or_else(|| bad("a signature line without a key"))?; |
| 779 | 148× | let b = |
| 780 | 148× | crate::dsse::base64_decode(b64).ok_or_else(|| bad("a signature is not base64"))?; |
| 781 | 148× | if b.len() < 5 || !valid_name(name) { |
| 782 | 0× | return Err(bad("a malformed signature line")); |
| 783 | 148× | } |
| 784 | 148× | sigs.push(NoteSignature { |
| 785 | 148× | name: name.to_string(), |
| 786 | 148× | key_hash: [b[0], b[1], b[2], b[3]], |
| 787 | 148× | sig: b[4..].to_vec(), |
| 788 | 148× | }); |
| 789 | | } |
| 790 | 43× | if sigs.is_empty() { |
| 791 | 0× | return Err(bad("no signatures")); |
| 792 | 43× | } |
| 793 | 43× | Ok(Note { |
| 794 | 43× | text: text.to_string(), |
| 795 | 43× | sigs, |
| 796 | 43× | }) |
| 797 | 43× | } |
| 798 | |
|
| 799 | | |
| 800 | | |
| 801 | 19× | pub fn sign(text: &str, name: &str, identity: &Identity, sk: &SecretKey) -> Result<Note> { |
| 802 | 19× | if !valid_name(name) { |
| 803 | 0× | return Err(TlogError::BadNote(format!( |
| 804 | 0× | "{name:?} cannot name a note's key" |
| 805 | 0× | ))); |
| 806 | 19× | } |
| 807 | 19× | if !text.ends_with('\n') || text.contains("\n\n") { |
| 808 | 0× | return Err(TlogError::BadNote( |
| 809 | 0× | "the text must end with one newline and hold no blank line".into(), |
| 810 | 0× | )); |
| 811 | 19× | } |
| 812 | 19× | let ed = NoteSignature { |
| 813 | 19× | name: name.to_string(), |
| 814 | 19× | key_hash: key_hash(name, SIG_ED25519, &identity.ed25519_pk), |
| 815 | 19× | sig: sk.sign_ed25519(text.as_bytes()).to_vec(), |
| 816 | 19× | }; |
| 817 | 19× | let composite = NoteSignature { |
| 818 | 19× | name: name.to_string(), |
| 819 | 19× | key_hash: key_hash(name, SIG_COMPOSITE, &identity.encode()), |
| 820 | 19× | sig: cbor::encode( |
| 821 | 19× | &sk.sign(Domain::Checkpoint, &identity.hash(), ¬e_target(text)) |
| 822 | 19× | .to_value(), |
| 823 | 19× | ), |
| 824 | 19× | }; |
| 825 | 19× | Ok(Note { |
| 826 | 19× | text: text.to_string(), |
| 827 | 19× | sigs: vec![ed, composite], |
| 828 | 19× | }) |
| 829 | 19× | } |
| 830 | |
|
| 831 | | |
| 832 | | |
| 833 | 34× | pub fn verify(&self, name: &str, identity: &Identity) -> Result<()> { |
| 834 | 62× | let find = |t: u8, key: &[u8]| { |
| 835 | 62× | let h = key_hash(name, t, key); |
| 836 | 102× | self.sigs.iter().find(|s| s.name == name && s.key_hash == h) |
| 837 | 62× | }; |
| 838 | 34× | let ed = find(SIG_ED25519, &identity.ed25519_pk) |
| 839 | 34× | .ok_or_else(|| TlogError::BadSignature(format!("no Ed25519 signature by {name}")))?; |
| 840 | 29× | identity |
| 841 | 29× | .verify_ed25519(self.text.as_bytes(), &ed.sig) |
| 842 | 29× | .map_err(|_| { |
| 843 | 1× | TlogError::BadSignature(format!("{name}'s Ed25519 signature does not verify")) |
| 844 | 1× | })?; |
| 845 | 28× | let c = find(SIG_COMPOSITE, &identity.encode()) |
| 846 | 28× | .ok_or_else(|| TlogError::BadSignature(format!("no composite signature by {name}")))?; |
| 847 | 27× | let sig = cbor::decode(&c.sig) |
| 848 | 27× | .map_err(|e| e.to_string()) |
| 849 | 27× | .and_then(|v| Signature::from_value(&v).map_err(|e| e.to_string())) |
| 850 | 27× | .map_err(|e| TlogError::BadSignature(format!("{name}'s composite signature: {e}")))?; |
| 851 | 27× | verify(identity, &sig, Domain::Checkpoint, ¬e_target(&self.text)).map_err(|e| { |
| 852 | 0× | TlogError::BadSignature(format!("{name}'s composite signature does not verify: {e}")) |
| 853 | 0× | }) |
| 854 | 34× | } |
| 855 | | } |
| 856 | |
|
| 857 | |
|
| 858 | | #[derive(Clone, Debug, PartialEq, Eq)] |
| 859 | | pub struct Checkpoint { |
| 860 | | |
| 861 | | pub origin: String, |
| 862 | | pub size: u64, |
| 863 | | pub root: Hash, |
| 864 | | |
| 865 | | pub extensions: Vec<String>, |
| 866 | | } |
| 867 | |
|
| 868 | | impl Checkpoint { |
| 869 | 19× | pub fn text(&self) -> String { |
| 870 | 19× | let mut t = format!( |
| 871 | | "{}\n{}\n{}\n", |
| 872 | | self.origin, |
| 873 | | self.size, |
| 874 | 19× | crate::dsse::base64(&self.root) |
| 875 | | ); |
| 876 | 19× | for e in &self.extensions { |
| 877 | 0× | t.push_str(e); |
| 878 | 0× | t.push('\n'); |
| 879 | 0× | } |
| 880 | 19× | t |
| 881 | 19× | } |
| 882 | |
|
| 883 | 34× | pub fn parse(text: &str) -> Result<Checkpoint> { |
| 884 | 34× | let bad = |w: &str| TlogError::BadNote(format!("checkpoint: {w}")); |
| 885 | 34× | if !text.ends_with('\n') { |
| 886 | 0× | return Err(bad("no final newline")); |
| 887 | 34× | } |
| 888 | 34× | let mut lines = text[..text.len() - 1].split('\n'); |
| 889 | 34× | let origin = lines |
| 890 | 34× | .next() |
| 891 | 34× | .filter(|o| !o.is_empty()) |
| 892 | 34× | .ok_or_else(|| bad("no origin"))?; |
| 893 | 34× | let size = lines |
| 894 | 34× | .next() |
| 895 | 34× | .and_then(|s| { |
| 896 | 34× | (s == "0" || !s.starts_with('0')) |
| 897 | 34× | .then(|| s.parse().ok()) |
| 898 | 34× | .flatten() |
| 899 | 34× | }) |
| 900 | 34× | .ok_or_else(|| bad("no tree size"))?; |
| 901 | 34× | let root = lines |
| 902 | 34× | .next() |
| 903 | 34× | .and_then(crate::dsse::base64_decode) |
| 904 | 34× | .and_then(|b| <Hash>::try_from(b).ok()) |
| 905 | 34× | .ok_or_else(|| bad("no root hash"))?; |
| 906 | 34× | Ok(Checkpoint { |
| 907 | 34× | origin: origin.to_string(), |
| 908 | 34× | size, |
| 909 | 34× | root, |
| 910 | 34× | extensions: lines.map(String::from).collect(), |
| 911 | 34× | }) |
| 912 | 34× | } |
| 913 | |
|
| 914 | | |
| 915 | 19× | pub fn sign(&self, identity: &Identity, sk: &SecretKey) -> Result<Note> { |
| 916 | 19× | Note::sign(&self.text(), &self.origin, identity, sk) |
| 917 | 19× | } |
| 918 | |
|
| 919 | | |
| 920 | | |
| 921 | 30× | pub fn verify(note: &Note, origin: &str, identity: &Identity) -> Result<Checkpoint> { |
| 922 | 30× | note.verify(origin, identity)?; |
| 923 | 23× | let c = Checkpoint::parse(¬e.text)?; |
| 924 | 23× | if c.origin != origin { |
| 925 | 0× | return Err(TlogError::BadNote(format!( |
| 926 | 0× | "checkpoint of {}, not of {origin}", |
| 927 | 0× | c.origin |
| 928 | 0× | ))); |
| 929 | 23× | } |
| 930 | 23× | Ok(c) |
| 931 | 30× | } |
| 932 | | } |
| 933 | |
|
| 934 | |
|
| 935 | |
|
| 936 | |
|
| 937 | | const SIG_COSIGNATURE: u8 = 0x04; |
| 938 | |
|
| 939 | | const SIG_COSIG_COMPOSITE: u8 = 0x4e; |
| 940 | |
|
| 941 | |
|
| 942 | |
|
| 943 | 26× | fn cosigned_message(text: &str, time: u64) -> String { |
| 944 | 26× | format!("cosignature/v1\ntime {time}\n{text}") |
| 945 | 26× | } |
| 946 | |
|
| 947 | 25× | fn cosig_target(message: &str) -> ObjectRef { |
| 948 | 25× | let mut h = blake3::Hasher::new(); |
| 949 | 25× | h.update(b"oxygen-tlog-cosig\0"); |
| 950 | 25× | h.update(message.as_bytes()); |
| 951 | 25× | ObjectRef(*h.finalize().as_bytes()) |
| 952 | 25× | } |
| 953 | |
|
| 954 | |
|
| 955 | |
|
| 956 | |
|
| 957 | 13× | pub fn cosign( |
| 958 | 13× | text: &str, |
| 959 | 13× | name: &str, |
| 960 | 13× | witness: &Identity, |
| 961 | 13× | sk: &SecretKey, |
| 962 | 13× | time: u64, |
| 963 | 13× | ) -> Result<Vec<NoteSignature>> { |
| 964 | 13× | if !valid_name(name) { |
| 965 | 0× | return Err(TlogError::BadNote(format!( |
| 966 | 0× | "{name:?} cannot name a witness" |
| 967 | 0× | ))); |
| 968 | 13× | } |
| 969 | 13× | let message = cosigned_message(text, time); |
| 970 | 13× | let mut ed = time.to_be_bytes().to_vec(); |
| 971 | 13× | ed.extend_from_slice(&sk.sign_ed25519(message.as_bytes())); |
| 972 | 13× | let mut composite = time.to_be_bytes().to_vec(); |
| 973 | 13× | composite.extend_from_slice(&cbor::encode( |
| 974 | 13× | &sk.sign(Domain::Checkpoint, &witness.hash(), &cosig_target(&message)) |
| 975 | 13× | .to_value(), |
| 976 | 13× | )); |
| 977 | 13× | Ok(vec![ |
| 978 | 13× | NoteSignature { |
| 979 | 13× | name: name.to_string(), |
| 980 | 13× | key_hash: key_hash(name, SIG_COSIGNATURE, &witness.ed25519_pk), |
| 981 | 13× | sig: ed, |
| 982 | 13× | }, |
| 983 | 13× | NoteSignature { |
| 984 | 13× | name: name.to_string(), |
| 985 | 13× | key_hash: key_hash(name, SIG_COSIG_COMPOSITE, &witness.encode()), |
| 986 | 13× | sig: composite, |
| 987 | 13× | }, |
| 988 | 13× | ]) |
| 989 | 13× | } |
| 990 | |
|
| 991 | | impl Note { |
| 992 | | |
| 993 | | |
| 994 | 23× | pub fn cosigned_by(&self, name: &str, witness: &Identity) -> Result<u64> { |
| 995 | 35× | let find = |t: u8, key: &[u8]| { |
| 996 | 35× | let h = key_hash(name, t, key); |
| 997 | 139× | self.sigs.iter().find(|s| s.name == name && s.key_hash == h) |
| 998 | 35× | }; |
| 999 | 25× | let time_of = |sig: &[u8]| -> Result<(u64, Vec<u8>)> { |
| 1000 | 25× | if sig.len() < 9 { |
| 1001 | 0× | return Err(TlogError::BadSignature(format!( |
| 1002 | 0× | "{name}'s cosignature is short" |
| 1003 | 0× | ))); |
| 1004 | 25× | } |
| 1005 | 25× | let mut t = [0u8; 8]; |
| 1006 | 25× | t.copy_from_slice(&sig[..8]); |
| 1007 | 25× | Ok((u64::from_be_bytes(t), sig[8..].to_vec())) |
| 1008 | 25× | }; |
| 1009 | 23× | let ed = find(SIG_COSIGNATURE, &witness.ed25519_pk) |
| 1010 | 23× | .ok_or_else(|| TlogError::BadSignature(format!("no cosignature by {name}")))?; |
| 1011 | 13× | let (time, sig) = time_of(&ed.sig)?; |
| 1012 | 13× | let message = cosigned_message(&self.text, time); |
| 1013 | 13× | witness |
| 1014 | 13× | .verify_ed25519(message.as_bytes(), &sig) |
| 1015 | 13× | .map_err(|_| { |
| 1016 | 1× | TlogError::BadSignature(format!("{name}'s cosignature does not verify")) |
| 1017 | 1× | })?; |
| 1018 | 12× | let c = find(SIG_COSIG_COMPOSITE, &witness.encode()).ok_or_else(|| { |
| 1019 | 0× | TlogError::BadSignature(format!("no composite cosignature by {name}")) |
| 1020 | 0× | })?; |
| 1021 | 12× | let (ctime, csig) = time_of(&c.sig)?; |
| 1022 | 12× | if ctime != time { |
| 1023 | 0× | return Err(TlogError::BadSignature(format!( |
| 1024 | 0× | "{name}'s two cosignatures disagree on the time" |
| 1025 | 0× | ))); |
| 1026 | 12× | } |
| 1027 | 12× | let sig = cbor::decode(&csig) |
| 1028 | 12× | .map_err(|e| e.to_string()) |
| 1029 | 12× | .and_then(|v| Signature::from_value(&v).map_err(|e| e.to_string())) |
| 1030 | 12× | .map_err(|e| TlogError::BadSignature(format!("{name}'s composite cosignature: {e}")))?; |
| 1031 | 12× | verify(witness, &sig, Domain::Checkpoint, &cosig_target(&message)).map_err(|e| { |
| 1032 | 0× | TlogError::BadSignature(format!( |
| 1033 | 0× | "{name}'s composite cosignature does not verify: {e}" |
| 1034 | 0× | )) |
| 1035 | 0× | })?; |
| 1036 | 12× | Ok(time) |
| 1037 | 23× | } |
| 1038 | | } |
| 1039 | |
|
| 1040 | |
|
| 1041 | |
|
| 1042 | |
|
| 1043 | | #[derive(Clone, Debug, PartialEq, Eq)] |
| 1044 | | pub struct AddCheckpoint { |
| 1045 | | pub old_size: u64, |
| 1046 | | pub proof: Vec<Hash>, |
| 1047 | | pub note: String, |
| 1048 | | } |
| 1049 | |
|
| 1050 | | impl AddCheckpoint { |
| 1051 | 7× | pub fn encode(&self) -> String { |
| 1052 | 7× | let mut out = format!("old {}\n", self.old_size); |
| 1053 | 21× | for h in &self.proof { |
| 1054 | 21× | out.push_str(&crate::dsse::base64(h)); |
| 1055 | 21× | out.push('\n'); |
| 1056 | 21× | } |
| 1057 | 7× | out.push('\n'); |
| 1058 | 7× | out.push_str(&self.note); |
| 1059 | 7× | out |
| 1060 | 7× | } |
| 1061 | |
|
| 1062 | 7× | pub fn parse(body: &str) -> Result<AddCheckpoint> { |
| 1063 | 7× | let bad = |w: &str| TlogError::BadNote(format!("add-checkpoint: {w}")); |
| 1064 | 7× | let (head, note) = body |
| 1065 | 7× | .split_once("\n\n") |
| 1066 | 7× | .ok_or_else(|| bad("no blank line before the checkpoint"))?; |
| 1067 | 7× | let mut lines = head.split('\n'); |
| 1068 | 7× | let old_size = lines |
| 1069 | 7× | .next() |
| 1070 | 7× | .and_then(|l| l.strip_prefix("old ")) |
| 1071 | 7× | .and_then(|n| n.parse().ok()) |
| 1072 | 7× | .ok_or_else(|| bad("no old size"))?; |
| 1073 | 7× | let mut proof = Vec::new(); |
| 1074 | 21× | for l in lines { |
| 1075 | 21× | let h = crate::dsse::base64_decode(l) |
| 1076 | 21× | .and_then(|b| <Hash>::try_from(b).ok()) |
| 1077 | 21× | .ok_or_else(|| bad("a proof line is not a hash"))?; |
| 1078 | 21× | proof.push(h); |
| 1079 | | } |
| 1080 | 7× | Ok(AddCheckpoint { |
| 1081 | 7× | old_size, |
| 1082 | 7× | proof, |
| 1083 | 7× | note: note.to_string(), |
| 1084 | 7× | }) |
| 1085 | 7× | } |
| 1086 | | } |
| 1087 | |
|
| 1088 | |
|
| 1089 | | #[derive(Clone, Debug, PartialEq, Eq)] |
| 1090 | | pub enum Witnessed { |
| 1091 | | |
| 1092 | | Cosigned { |
| 1093 | | checkpoint: Checkpoint, |
| 1094 | | lines: Vec<NoteSignature>, |
| 1095 | | }, |
| 1096 | | |
| 1097 | | |
| 1098 | | Conflict(u64), |
| 1099 | | } |
| 1100 | |
|
| 1101 | |
|
| 1102 | | #[derive(Clone, Debug, PartialEq, Eq, thiserror::Error)] |
| 1103 | | pub enum WitnessError { |
| 1104 | | |
| 1105 | | #[error("{0}")] |
| 1106 | | Unsigned(String), |
| 1107 | | |
| 1108 | | #[error("{0}")] |
| 1109 | | Inconsistent(String), |
| 1110 | | |
| 1111 | | #[error("{0}")] |
| 1112 | | Bad(String), |
| 1113 | | } |
| 1114 | |
|
| 1115 | |
|
| 1116 | | pub struct WitnessKey<'a> { |
| 1117 | | pub name: &'a str, |
| 1118 | | pub identity: &'a Identity, |
| 1119 | | pub sk: &'a SecretKey, |
| 1120 | | } |
| 1121 | |
|
| 1122 | |
|
| 1123 | |
|
| 1124 | |
|
| 1125 | |
|
| 1126 | 8× | pub fn witness( |
| 1127 | 8× | req: &AddCheckpoint, |
| 1128 | 8× | origin: &str, |
| 1129 | 8× | log_key: &Identity, |
| 1130 | 8× | latest: Option<(u64, Hash)>, |
| 1131 | 8× | me: &WitnessKey, |
| 1132 | 8× | now: u64, |
| 1133 | 8× | ) -> std::result::Result<Witnessed, WitnessError> { |
| 1134 | 8× | let note = Note::parse(&req.note).map_err(|e| WitnessError::Bad(e.to_string()))?; |
| 1135 | 8× | let cp = Checkpoint::verify(¬e, origin, log_key) |
| 1136 | 8× | .map_err(|e| WitnessError::Unsigned(e.to_string()))?; |
| 1137 | 7× | let (old, old_root) = latest.unwrap_or((0, empty_root())); |
| 1138 | 7× | if req.old_size != old { |
| 1139 | 2× | return Ok(Witnessed::Conflict(old)); |
| 1140 | 5× | } |
| 1141 | 5× | if cp.size < old { |
| 1142 | 0× | return Err(WitnessError::Bad(format!( |
| 1143 | 0× | "a checkpoint of {} entries is older than the {old} cosigned", |
| 1144 | 0× | cp.size |
| 1145 | 0× | ))); |
| 1146 | 5× | } |
| 1147 | 5× | let consistent = match (old, cp.size == old) { |
| 1148 | 2× | (0, _) => req.proof.is_empty(), |
| 1149 | 0× | (_, true) => req.proof.is_empty() && cp.root == old_root, |
| 1150 | 3× | _ => check_consistency(&req.proof, cp.size, &cp.root, old, &old_root).is_ok(), |
| 1151 | | }; |
| 1152 | 5× | if !consistent { |
| 1153 | 1× | return Err(WitnessError::Inconsistent(format!( |
| 1154 | 1× | "the checkpoint of {} entries does not extend the one of {old} cosigned", |
| 1155 | 1× | cp.size |
| 1156 | 1× | ))); |
| 1157 | 4× | } |
| 1158 | 4× | let lines = cosign(¬e.text, me.name, me.identity, me.sk, now) |
| 1159 | 4× | .map_err(|e| WitnessError::Bad(e.to_string()))?; |
| 1160 | 4× | Ok(Witnessed::Cosigned { |
| 1161 | 4× | checkpoint: cp, |
| 1162 | 4× | lines, |
| 1163 | 4× | }) |
| 1164 | 8× | } |
| 1165 | |
|
| 1166 | |
|
| 1167 | |
|
| 1168 | |
|
| 1169 | |
|
| 1170 | | pub const TIME_TOLERANCE_MS: u64 = 10 * 60 * 1000; |
| 1171 | |
|
| 1172 | | impl Note { |
| 1173 | | |
| 1174 | | |
| 1175 | | |
| 1176 | 12× | pub fn cosignatures(&self, trusted: &[(String, Identity)]) -> Vec<(String, u64)> { |
| 1177 | 12× | trusted |
| 1178 | 12× | .iter() |
| 1179 | 20× | .filter_map(|(n, id)| self.cosigned_by(n, id).ok().map(|t| (n.clone(), t))) |
| 1180 | 12× | .collect() |
| 1181 | 12× | } |
| 1182 | | } |
| 1183 | |
|
| 1184 | |
|
| 1185 | |
|
| 1186 | |
|
| 1187 | | #[derive(Clone, Debug, PartialEq, Eq)] |
| 1188 | | pub struct Integrated { |
| 1189 | | |
| 1190 | | pub time: u64, |
| 1191 | | |
| 1192 | | pub witness: String, |
| 1193 | | |
| 1194 | | pub size: u64, |
| 1195 | | } |
| 1196 | |
|
| 1197 | | impl Integrated { |
| 1198 | | |
| 1199 | 10× | pub fn ms(&self) -> u64 { |
| 1200 | 10× | self.time.saturating_mul(1000) |
| 1201 | 10× | } |
| 1202 | | } |
| 1203 | |
|
| 1204 | |
|
| 1205 | |
|
| 1206 | |
|
| 1207 | |
|
| 1208 | |
|
| 1209 | |
|
| 1210 | 16× | pub fn integrated_time( |
| 1211 | 16× | entry: &[u8], |
| 1212 | 16× | index: u64, |
| 1213 | 16× | cosigned: &[(&str, &[Hash])], |
| 1214 | 16× | origin: &str, |
| 1215 | 16× | log_key: &Identity, |
| 1216 | 16× | trusted: &[(String, Identity)], |
| 1217 | 16× | ) -> std::result::Result<Integrated, String> { |
| 1218 | 16× | if cosigned.is_empty() { |
| 1219 | 1× | return Err("no witness has cosigned a checkpoint holding it yet".into()); |
| 1220 | 15× | } |
| 1221 | 15× | let leaf = leaf_hash(entry); |
| 1222 | 15× | let mut best: Option<Integrated> = None; |
| 1223 | 15× | let mut why = String::new(); |
| 1224 | 17× | for (text, proof) in cosigned { |
| 1225 | 17× | let checked = Note::parse(text) |
| 1226 | 17× | .and_then(|n| Checkpoint::verify(&n, origin, log_key).map(|c| (n, c))) |
| 1227 | 17× | .and_then(|(n, c)| { |
| 1228 | 15× | check_inclusion(proof, c.size, &c.root, index, &leaf)?; |
| 1229 | 12× | Ok((n, c)) |
| 1230 | 15× | }); |
| 1231 | 17× | let (note, cp) = match checked { |
| 1232 | 12× | Ok(x) => x, |
| 1233 | 5× | Err(e) => { |
| 1234 | 5× | why = format!("a cosigned checkpoint served for it does not hold it ({e})"); |
| 1235 | 5× | continue; |
| 1236 | | } |
| 1237 | | }; |
| 1238 | 12× | let times = note.cosignatures(trusted); |
| 1239 | 12× | if times.is_empty() { |
| 1240 | 5× | why = format!( |
| 1241 | | "the checkpoint of {} entries holding it is cosigned by no witness this user trusts", |
| 1242 | | cp.size |
| 1243 | | ); |
| 1244 | 5× | continue; |
| 1245 | 7× | } |
| 1246 | 10× | for (witness, time) in times { |
| 1247 | 10× | if best.as_ref().is_none_or(|b| time < b.time) { |
| 1248 | 8× | best = Some(Integrated { |
| 1249 | 8× | time, |
| 1250 | 8× | witness, |
| 1251 | 8× | size: cp.size, |
| 1252 | 8× | }); |
| 1253 | 8× | } |
| 1254 | | } |
| 1255 | | } |
| 1256 | 15× | best.ok_or(why) |
| 1257 | 16× | } |
| 1258 | |
|
| 1259 | | #[cfg(test)] |
| 1260 | | mod tests { |
| 1261 | | use super::*; |
| 1262 | |
|
| 1263 | | |
| 1264 | 4× | fn grow(leaves: u64) -> (Vec<Hash>, Vec<Hash>) { |
| 1265 | 4× | let mut stored: Vec<Hash> = Vec::new(); |
| 1266 | 4× | let mut leaf_hashes = Vec::new(); |
| 1267 | 70190× | for n in 0..leaves { |
| 1268 | 70190× | let h = leaf_hash(format!("entry {n}").as_bytes()); |
| 1269 | 70190× | leaf_hashes.push(h); |
| 1270 | 70190× | let add = stored_hashes_for_leaf(n, h, &stored).unwrap(); |
| 1271 | 70190× | assert_eq!(stored.len() as u64, stored_hash_index(0, n)); |
| 1272 | 70190× | stored.extend(add); |
| 1273 | 70190× | assert_eq!(stored.len() as u64, stored_hash_count(n + 1)); |
| 1274 | | } |
| 1275 | 4× | (stored, leaf_hashes) |
| 1276 | 4× | } |
| 1277 | |
|
| 1278 | | |
| 1279 | 19600× | fn mth(leaves: &[Hash]) -> Hash { |
| 1280 | 19600× | match leaves.len() { |
| 1281 | 0× | 0 => empty_root(), |
| 1282 | 9870× | 1 => leaves[0], |
| 1283 | 9730× | n => { |
| 1284 | 9730× | let (k, _) = maxpow2(n as u64); |
| 1285 | 9730× | node_hash(&mth(&leaves[..k as usize]), &mth(&leaves[k as usize..])) |
| 1286 | | } |
| 1287 | | } |
| 1288 | 19600× | } |
| 1289 | |
|
| 1290 | | #[test] |
| 1291 | 1× | fn stored_indexes_round_trip() { |
| 1292 | 6× | for level in 0..6 { |
| 1293 | 1800× | for n in 0..300 { |
| 1294 | 1800× | let i = stored_hash_index(level, n); |
| 1295 | 1800× | assert_eq!(split_stored_hash_index(i), (level, n)); |
| 1296 | | } |
| 1297 | | } |
| 1298 | 1× | } |
| 1299 | |
|
| 1300 | | #[test] |
| 1301 | 1× | fn roots_match_rfc_6962_and_every_proof_verifies() { |
| 1302 | 1× | let (stored, leaves) = grow(140); |
| 1303 | 140× | for t in 1..=140u64 { |
| 1304 | 140× | let root = tree_hash(t, &stored).unwrap(); |
| 1305 | 140× | assert_eq!(root, mth(&leaves[..t as usize]), "root of {t}"); |
| 1306 | 9870× | for n in 0..t { |
| 1307 | 9870× | let p = prove_inclusion(t, n, &stored).unwrap(); |
| 1308 | 9870× | check_inclusion(&p, t, &root, n, &leaves[n as usize]).unwrap(); |
| 1309 | | |
| 1310 | 9870× | let other = (n + 1) % t; |
| 1311 | 9870× | if other != n { |
| 1312 | 9869× | assert!(check_inclusion(&p, t, &root, n, &leaves[other as usize]).is_err()); |
| 1313 | 1× | } |
| 1314 | 9870× | if let Some(first) = p.first() { |
| 1315 | 9869× | let mut bad = p.clone(); |
| 1316 | 9869× | bad[0] = node_hash(first, first); |
| 1317 | 9869× | assert!(check_inclusion(&bad, t, &root, n, &leaves[n as usize]).is_err()); |
| 1318 | 1× | } |
| 1319 | 9870× | let old = n + 1; |
| 1320 | 9870× | let old_root = tree_hash(old, &stored).unwrap(); |
| 1321 | 9870× | let c = prove_consistency(t, old, &stored).unwrap(); |
| 1322 | 9870× | check_consistency(&c, t, &root, old, &old_root).unwrap(); |
| 1323 | 9870× | if old < t { |
| 1324 | 9730× | let fork = node_hash(&old_root, &old_root); |
| 1325 | 9730× | assert!( |
| 1326 | 9730× | check_consistency(&c, t, &root, old, &fork).is_err(), |
| 1327 | | "a forked history" |
| 1328 | | ); |
| 1329 | 140× | } |
| 1330 | | } |
| 1331 | | } |
| 1332 | 1× | assert_eq!(tree_hash(0, &stored).unwrap(), empty_root()); |
| 1333 | 1× | } |
| 1334 | |
|
| 1335 | | #[test] |
| 1336 | 1× | fn tiles_hold_the_stored_hashes() { |
| 1337 | 1× | let n = 70_000u64; |
| 1338 | 1× | let (stored, _) = grow(n); |
| 1339 | 1× | let tiles = Tile::new_tiles(0, n); |
| 1340 | | |
| 1341 | | |
| 1342 | 277× | assert_eq!(tiles.iter().filter(|t| t.level == 0).count(), 274); |
| 1343 | 277× | assert_eq!(tiles.iter().filter(|t| t.level == 2).count(), 1); |
| 1344 | 1× | let datas: Vec<(Tile, Vec<u8>)> = tiles |
| 1345 | 1× | .iter() |
| 1346 | 277× | .map(|t| (*t, t.read_data(&stored).unwrap())) |
| 1347 | 1× | .collect(); |
| 1348 | 20000× | for (i, want) in stored.iter().enumerate().step_by(7) { |
| 1349 | 20000× | let (t, ..) = Tile::for_index(i as u64); |
| 1350 | 20000× | let (tile, data) = datas |
| 1351 | 20000× | .iter() |
| 1352 | 2756800× | .find(|(d, _)| d.level == t.level && d.n == t.n && d.width >= t.width) |
| 1353 | 20000× | .expect("the tile holding it was written"); |
| 1354 | 20000× | assert_eq!( |
| 1355 | 20000× | tile.hash_at(data, i as u64).unwrap(), |
| 1356 | | *want, |
| 1357 | | "stored hash {i}" |
| 1358 | | ); |
| 1359 | | } |
| 1360 | | |
| 1361 | 1× | let grown = Tile::new_tiles(n, n + 300); |
| 1362 | 3× | assert!(grown.iter().all(|t| t.level > 0 || t.n >= n / 256)); |
| 1363 | 1× | } |
| 1364 | |
|
| 1365 | | #[test] |
| 1366 | 1× | fn tile_paths() { |
| 1367 | 1× | assert_eq!(index_path(1_234_067), "x001/x234/067"); |
| 1368 | 1× | assert_eq!(index_path(5), "005"); |
| 1369 | 1× | assert_eq!(index_path(1000), "x001/000"); |
| 1370 | 1× | assert_eq!(parse_index_path("x001/x234/067"), Some(1_234_067)); |
| 1371 | 1× | assert_eq!(parse_index_path("x001/234/067"), None); |
| 1372 | 1× | let t = Tile { |
| 1373 | 1× | level: 1, |
| 1374 | 1× | n: 1234, |
| 1375 | 1× | width: 17, |
| 1376 | 1× | }; |
| 1377 | 1× | assert_eq!(t.path(), "tile/1/x001/234.p/17"); |
| 1378 | 1× | assert_eq!(Tile::parse("1/x001/234.p/17"), Some(t)); |
| 1379 | 1× | assert_eq!( |
| 1380 | 1× | Tile { |
| 1381 | 1× | level: 0, |
| 1382 | 1× | n: 3, |
| 1383 | 1× | width: 256 |
| 1384 | 1× | } |
| 1385 | 1× | .entries_path(), |
| 1386 | | "tile/entries/003" |
| 1387 | | ); |
| 1388 | 1× | assert_eq!(Tile::parse("0/003.p/256"), None, "a full tile has no .p"); |
| 1389 | 1× | } |
| 1390 | |
|
| 1391 | | #[test] |
| 1392 | 1× | fn entries_and_bundles_round_trip() { |
| 1393 | 1× | let e = Entry { |
| 1394 | 1× | kind: "ref".into(), |
| 1395 | 1× | repo: [7; 16], |
| 1396 | 1× | object: ObjectRef([1; 32]), |
| 1397 | 1× | signers: vec![ObjectRef([2; 32])], |
| 1398 | 1× | received: 1_792_000_000_000, |
| 1399 | 1× | }; |
| 1400 | 1× | assert_eq!(Entry::decode(&e.encode()).unwrap(), e); |
| 1401 | 1× | let b = encode_bundle(&[e.encode(), b"x".to_vec()]).unwrap(); |
| 1402 | 1× | assert_eq!(decode_bundle(&b).unwrap(), vec![e.encode(), b"x".to_vec()]); |
| 1403 | 1× | assert!(decode_bundle(&b[..b.len() - 1]).is_err()); |
| 1404 | 1× | assert_eq!(e.leaf_hash(), leaf_hash(&e.encode())); |
| 1405 | 1× | } |
| 1406 | |
|
| 1407 | | #[test] |
| 1408 | 1× | fn a_witness_cosigns_what_extends_what_it_saw_and_nothing_else() { |
| 1409 | 1× | let log_sk = SecretKey::generate(); |
| 1410 | 1× | let log = log_sk.identity("log", "[email protected]", 1); |
| 1411 | 1× | let w_sk = SecretKey::generate(); |
| 1412 | 1× | let w = w_sk.identity("witness", "[email protected]", 1); |
| 1413 | 1× | let origin = "hub.example/log"; |
| 1414 | 1× | let (stored, _) = grow(40); |
| 1415 | 6× | let note_of = |n: u64| { |
| 1416 | 6× | Checkpoint { |
| 1417 | 6× | origin: origin.into(), |
| 1418 | 6× | size: n, |
| 1419 | 6× | root: tree_hash(n, &stored).unwrap(), |
| 1420 | 6× | extensions: vec![], |
| 1421 | 6× | } |
| 1422 | 6× | .sign(&log, &log_sk) |
| 1423 | 6× | .unwrap() |
| 1424 | 6× | .encode() |
| 1425 | 6× | }; |
| 1426 | 4× | let ask = |old: u64, n: u64, latest: Option<(u64, Hash)>| { |
| 1427 | 4× | let proof = if old == 0 || old == n { |
| 1428 | 1× | vec![] |
| 1429 | | } else { |
| 1430 | 3× | prove_consistency(n, old, &stored).unwrap() |
| 1431 | | }; |
| 1432 | 4× | let req = AddCheckpoint { |
| 1433 | 4× | old_size: old, |
| 1434 | 4× | proof, |
| 1435 | 4× | note: note_of(n), |
| 1436 | 4× | }; |
| 1437 | 4× | let req = AddCheckpoint::parse(&req.encode()).unwrap(); |
| 1438 | 4× | let me = WitnessKey { |
| 1439 | 4× | name: "w.example", |
| 1440 | 4× | identity: &w, |
| 1441 | 4× | sk: &w_sk, |
| 1442 | 4× | }; |
| 1443 | 4× | witness(&req, origin, &log, latest, &me, 1_792_300_000) |
| 1444 | 4× | }; |
| 1445 | | |
| 1446 | 1× | let Ok(Witnessed::Cosigned { checkpoint, lines }) = ask(0, 10, None) else { |
| 1447 | 0× | panic!() |
| 1448 | | }; |
| 1449 | 1× | let mut note = Note::parse(¬e_of(10)).unwrap(); |
| 1450 | 1× | note.sigs.extend(lines); |
| 1451 | 1× | let back = Note::parse(¬e.encode()).unwrap(); |
| 1452 | 1× | assert_eq!(back.cosigned_by("w.example", &w).unwrap(), 1_792_300_000); |
| 1453 | 1× | assert!( |
| 1454 | 1× | back.cosigned_by("w.example", &log).is_err(), |
| 1455 | | "another witness's key" |
| 1456 | | ); |
| 1457 | 1× | let latest = Some((10, checkpoint.root)); |
| 1458 | 1× | assert!(matches!( |
| 1459 | 1× | ask(10, 40, latest), |
| 1460 | | Ok(Witnessed::Cosigned { .. }) |
| 1461 | | )); |
| 1462 | | |
| 1463 | 1× | assert_eq!(ask(5, 40, latest), Ok(Witnessed::Conflict(10))); |
| 1464 | | |
| 1465 | 1× | let forked = Some((10, [9; 32])); |
| 1466 | 1× | assert!(matches!( |
| 1467 | 1× | ask(10, 40, forked), |
| 1468 | | Err(WitnessError::Inconsistent(_)) |
| 1469 | | )); |
| 1470 | | |
| 1471 | 1× | let req = AddCheckpoint { |
| 1472 | 1× | old_size: 0, |
| 1473 | 1× | proof: vec![], |
| 1474 | 1× | note: note_of(10), |
| 1475 | 1× | }; |
| 1476 | 1× | assert!(matches!( |
| 1477 | 1× | witness( |
| 1478 | 1× | &req, |
| 1479 | 1× | origin, |
| 1480 | 1× | &w, |
| 1481 | 1× | None, |
| 1482 | 1× | &WitnessKey { |
| 1483 | 1× | name: "w.example", |
| 1484 | 1× | identity: &w, |
| 1485 | 1× | sk: &w_sk |
| 1486 | 1× | }, |
| 1487 | | 1 |
| 1488 | | ), |
| 1489 | | Err(WitnessError::Unsigned(_)) |
| 1490 | | )); |
| 1491 | 1× | } |
| 1492 | |
|
| 1493 | | #[test] |
| 1494 | 1× | fn checkpoints_are_signed_twice_and_checked() { |
| 1495 | 1× | let sk = SecretKey::generate(); |
| 1496 | 1× | let hub = sk.identity("oxygenhub.io", "[email protected]", 1); |
| 1497 | 1× | let (stored, _) = grow(10); |
| 1498 | 1× | let c = Checkpoint { |
| 1499 | 1× | origin: "oxygenhub.io/log".into(), |
| 1500 | 1× | size: 10, |
| 1501 | 1× | root: tree_hash(10, &stored).unwrap(), |
| 1502 | 1× | extensions: vec![], |
| 1503 | 1× | }; |
| 1504 | 1× | let note = c.sign(&hub, &sk).unwrap(); |
| 1505 | 1× | let served = note.encode(); |
| 1506 | 1× | assert!(served.starts_with("oxygenhub.io/log\n10\n")); |
| 1507 | 1× | assert_eq!(served.matches("\n\u{2014} oxygenhub.io/log ").count(), 2); |
| 1508 | 1× | let back = Note::parse(&served).unwrap(); |
| 1509 | 1× | assert_eq!( |
| 1510 | 1× | Checkpoint::verify(&back, "oxygenhub.io/log", &hub).unwrap(), |
| 1511 | | c |
| 1512 | | ); |
| 1513 | | |
| 1514 | 1× | let other_sk = SecretKey::generate(); |
| 1515 | 1× | let other = other_sk.identity("x", "x@x", 1); |
| 1516 | 1× | assert!(Checkpoint::verify(&back, "oxygenhub.io/log", &other).is_err()); |
| 1517 | 1× | assert!(Checkpoint::verify(&back, "elsewhere/log", &hub).is_err()); |
| 1518 | 1× | let forged = Note { |
| 1519 | 1× | text: back.text.replace("\n10\n", "\n11\n"), |
| 1520 | 1× | ..back.clone() |
| 1521 | 1× | }; |
| 1522 | 1× | assert!(Checkpoint::verify(&forged, "oxygenhub.io/log", &hub).is_err()); |
| 1523 | 1× | let ed_only = Note { |
| 1524 | 1× | sigs: vec![back.sigs[0].clone()], |
| 1525 | 1× | ..back.clone() |
| 1526 | 1× | }; |
| 1527 | 1× | assert!( |
| 1528 | 1× | matches!(Checkpoint::verify(&ed_only, "oxygenhub.io/log", &hub), Err(TlogError::BadSignature(m)) if m.contains("composite")), |
| 1529 | | "the post-quantum line is required" |
| 1530 | | ); |
| 1531 | | |
| 1532 | 1× | let h = key_hash("oxygenhub.io/log", SIG_ED25519, &hub.ed25519_pk); |
| 1533 | 1× | assert_eq!(back.sigs[0].key_hash, h); |
| 1534 | 1× | assert!(hub |
| 1535 | 1× | .verify_ed25519(back.text.as_bytes(), &back.sigs[0].sig) |
| 1536 | 1× | .is_ok()); |
| 1537 | 1× | } |
| 1538 | |
|
| 1539 | | #[test] |
| 1540 | 1× | fn an_entry_is_integrated_when_a_trusted_witness_first_cosigned_it() { |
| 1541 | 1× | let log_sk = SecretKey::generate(); |
| 1542 | 1× | let log = log_sk.identity("log", "[email protected]", 1); |
| 1543 | 1× | let origin = "hub.example/log"; |
| 1544 | 3× | let witness = |name: &str| { |
| 1545 | 3× | let sk = SecretKey::generate(); |
| 1546 | 3× | (name.to_string(), sk.identity(name, "[email protected]", 1), sk) |
| 1547 | 3× | }; |
| 1548 | 1× | let (a, b, c) = ( |
| 1549 | 1× | witness("a.example"), |
| 1550 | 1× | witness("b.example"), |
| 1551 | 1× | witness("c.example"), |
| 1552 | 1× | ); |
| 1553 | 1× | let trusted = vec![(a.0.clone(), a.1.clone()), (b.0.clone(), b.1.clone())]; |
| 1554 | | |
| 1555 | 42× | let leaf_bytes = |n: u64| { |
| 1556 | 42× | Entry { |
| 1557 | 42× | kind: "ref".into(), |
| 1558 | 42× | repo: [n as u8; 16], |
| 1559 | 42× | object: ObjectRef([n as u8; 32]), |
| 1560 | 42× | signers: vec![], |
| 1561 | 42× | received: n, |
| 1562 | 42× | } |
| 1563 | 42× | .encode() |
| 1564 | 42× | }; |
| 1565 | 1× | let mut stored: Vec<Hash> = Vec::new(); |
| 1566 | 40× | for n in 0..40 { |
| 1567 | 40× | let add = stored_hashes_for_leaf(n, leaf_hash(&leaf_bytes(n)), &stored).unwrap(); |
| 1568 | 40× | stored.extend(add); |
| 1569 | 40× | } |
| 1570 | | |
| 1571 | | type W = (String, Identity, SecretKey); |
| 1572 | 5× | let cosigned = |n: u64, by: &[(&W, u64)]| { |
| 1573 | 5× | let cp = Checkpoint { |
| 1574 | 5× | origin: origin.into(), |
| 1575 | 5× | size: n, |
| 1576 | 5× | root: tree_hash(n, &stored).unwrap(), |
| 1577 | 5× | extensions: vec![], |
| 1578 | 5× | }; |
| 1579 | 5× | let mut note = cp.sign(&log, &log_sk).unwrap(); |
| 1580 | 6× | for ((name, id, sk), t) in by { |
| 1581 | 6× | note.sigs |
| 1582 | 6× | .extend(cosign(¬e.text, name, id, sk, *t).unwrap()); |
| 1583 | 6× | } |
| 1584 | 5× | note.encode() |
| 1585 | 5× | }; |
| 1586 | 11× | let proof = |n: u64| prove_inclusion(n, 7, &stored).unwrap(); |
| 1587 | 1× | let entry = leaf_bytes(7); |
| 1588 | 9× | let time = |served: &[(String, Vec<Hash>)]| { |
| 1589 | 9× | let s: Vec<(&str, &[Hash])> = served |
| 1590 | 9× | .iter() |
| 1591 | 10× | .map(|(n, p)| (n.as_str(), p.as_slice())) |
| 1592 | 9× | .collect(); |
| 1593 | 9× | integrated_time(&entry, 7, &s, origin, &log, &trusted) |
| 1594 | 9× | }; |
| 1595 | |
|
| 1596 | | |
| 1597 | 1× | let one = cosigned(10, &[(&a, 1_792_300_050), (&b, 1_792_300_020)]); |
| 1598 | 1× | let got = time(&[(one.clone(), proof(10))]).unwrap(); |
| 1599 | 1× | assert_eq!( |
| 1600 | 1× | (got.time, got.witness.as_str(), got.size), |
| 1601 | | (1_792_300_020, "b.example", 10) |
| 1602 | | ); |
| 1603 | 1× | assert_eq!(got.ms(), 1_792_300_020_000); |
| 1604 | | |
| 1605 | | |
| 1606 | 1× | let later = cosigned(20, &[(&a, 1_792_300_010)]); |
| 1607 | 1× | let got = time(&[(later.clone(), proof(20)), (one.clone(), proof(10))]).unwrap(); |
| 1608 | 1× | assert_eq!( |
| 1609 | 1× | (got.time, got.witness.as_str()), |
| 1610 | | (1_792_300_010, "a.example") |
| 1611 | | ); |
| 1612 | |
|
| 1613 | | |
| 1614 | 1× | let stranger = cosigned(10, &[(&c, 1)]); |
| 1615 | 1× | let err = time(&[(stranger, proof(10))]).unwrap_err(); |
| 1616 | 1× | assert!(err.contains("no witness this user trusts"), "{err}"); |
| 1617 | | |
| 1618 | 1× | let forged = cosigned(10, &[(&(a.0.clone(), c.1.clone(), c.2.clone()), 1)]); |
| 1619 | 1× | assert!(time(&[(forged.clone(), proof(10))]).is_err()); |
| 1620 | | |
| 1621 | 1× | let got = time(&[(forged, proof(10)), (one.clone(), proof(10))]).unwrap(); |
| 1622 | 1× | assert_eq!(got.time, 1_792_300_020); |
| 1623 | | |
| 1624 | 1× | let mut moved = Note::parse(&one).unwrap(); |
| 1625 | 6× | for s in moved.sigs.iter_mut().filter(|s| s.name == "b.example") { |
| 1626 | 2× | s.sig[..8].copy_from_slice(&1u64.to_be_bytes()); |
| 1627 | 2× | } |
| 1628 | 1× | let got = time(&[(moved.encode(), proof(10))]).unwrap(); |
| 1629 | 1× | assert_eq!(got.witness, "a.example", "b's lines no longer verify"); |
| 1630 | |
|
| 1631 | | |
| 1632 | | |
| 1633 | 1× | let early = cosigned(5, &[(&a, 1)]); |
| 1634 | 1× | assert!(time(&[(early, proof(10))]).is_err()); |
| 1635 | 1× | assert!(time(&[(one.clone(), proof(20))]).is_err()); |
| 1636 | 1× | let other_sk = SecretKey::generate(); |
| 1637 | 1× | let other = other_sk.identity("x", "x@x", 1); |
| 1638 | 1× | let s = [(one.as_str(), proof(10))]; |
| 1639 | 1× | let s: Vec<(&str, &[Hash])> = s.iter().map(|(n, p)| (*n, p.as_slice())).collect(); |
| 1640 | 1× | assert!(integrated_time(&entry, 7, &s, origin, &other, &trusted).is_err()); |
| 1641 | 1× | assert!(integrated_time(&entry, 7, &s, "elsewhere/log", &log, &trusted).is_err()); |
| 1642 | 1× | assert!(integrated_time(&leaf_bytes(8), 7, &s, origin, &log, &trusted).is_err()); |
| 1643 | | |
| 1644 | 1× | assert!(time(&[]).unwrap_err().contains("no witness has cosigned")); |
| 1645 | 1× | } |
| 1646 | | } |