| 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 | 70152× | pub fn leaf_hash(entry: &[u8]) -> Hash { |
| 59 | 70152× | let mut h = blake3::Hasher::new(); |
| 60 | 70152× | h.update(b"oxygen-tlog-leaf\0"); |
| 61 | 70152× | h.update(entry); |
| 62 | 70152× | *h.finalize().as_bytes() |
| 63 | 70152× | } |
| 64 | |
|
| 65 | |
|
| 66 | 564345× | pub fn node_hash(left: &Hash, right: &Hash) -> Hash { |
| 67 | 564345× | let mut h = blake3::Hasher::new(); |
| 68 | 564345× | h.update(b"oxygen-tlog-node\0"); |
| 69 | 564345× | h.update(left); |
| 70 | 564345× | h.update(right); |
| 71 | 564345× | *h.finalize().as_bytes() |
| 72 | 564345× | } |
| 73 | |
|
| 74 | |
|
| 75 | 2× | pub fn empty_root() -> Hash { |
| 76 | 2× | *blake3::hash(b"").as_bytes() |
| 77 | 2× | } |
| 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 | 5× | pub fn to_value(&self) -> Value { |
| 101 | 5× | Value::map([ |
| 102 | 5× | (0, Value::Uint(1)), |
| 103 | 5× | (1, Value::Text(self.kind.clone())), |
| 104 | 5× | (2, Value::Bytes(self.repo.to_vec())), |
| 105 | 5× | (3, Value::Bytes(self.object.0.to_vec())), |
| 106 | | ( |
| 107 | | 4, |
| 108 | | Value::Array( |
| 109 | 5× | self.signers |
| 110 | 5× | .iter() |
| 111 | 5× | .map(|k| Value::Bytes(k.0.to_vec())) |
| 112 | 5× | .collect(), |
| 113 | | ), |
| 114 | | ), |
| 115 | 5× | (5, Value::Uint(self.received)), |
| 116 | | ]) |
| 117 | 5× | } |
| 118 | |
|
| 119 | 5× | pub fn encode(&self) -> Vec<u8> { |
| 120 | 5× | cbor::encode(&self.to_value()) |
| 121 | 5× | } |
| 122 | |
|
| 123 | 1× | pub fn decode(b: &[u8]) -> Result<Entry> { |
| 124 | 1× | let v = cbor::decode(b).map_err(ObjectError::from)?; |
| 125 | 1× | let m = map(&v, "log entry")?; |
| 126 | 1× | check_version(m)?; |
| 127 | 1× | let repo = bytes(field(m, 2, "repo")?, "repo")?; |
| 128 | 1× | let repo: [u8; 16] = repo |
| 129 | 1× | .try_into() |
| 130 | 1× | .map_err(|_| TlogError::Schema("log entry: repo is not 16 bytes".into()))?; |
| 131 | 1× | let mut signers = Vec::new(); |
| 132 | 1× | for s in array(field(m, 4, "signers")?, "signers")? { |
| 133 | 1× | signers.push(oref(s, "signer")?); |
| 134 | | } |
| 135 | | Ok(Entry { |
| 136 | 1× | kind: text(field(m, 1, "kind")?, "kind")?.to_owned(), |
| 137 | 1× | repo, |
| 138 | 1× | object: oref(field(m, 3, "object")?, "object")?, |
| 139 | 1× | signers, |
| 140 | 1× | received: uint(field(m, 5, "received")?, "received")?, |
| 141 | | }) |
| 142 | 1× | } |
| 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 | 100037× | fn read_hashes(&self, indexes: &[u64]) -> Result<Vec<Hash>> { |
| 191 | 100037× | indexes |
| 192 | 100037× | .iter() |
| 193 | 331441× | .map(|&i| { |
| 194 | 331441× | self.get(i as usize) |
| 195 | 331441× | .copied() |
| 196 | 331441× | .ok_or_else(|| TlogError::Read(format!("no stored hash {i}"))) |
| 197 | 331441× | }) |
| 198 | 100037× | .collect() |
| 199 | 100037× | } |
| 200 | | } |
| 201 | |
|
| 202 | | impl HashReader for Vec<Hash> { |
| 203 | 100037× | fn read_hashes(&self, indexes: &[u64]) -> Result<Vec<Hash>> { |
| 204 | 100037× | self.as_slice().read_hashes(indexes) |
| 205 | 100037× | } |
| 206 | | } |
| 207 | |
|
| 208 | |
|
| 209 | 947865× | fn maxpow2(n: u64) -> (u64, u32) { |
| 210 | 947865× | let mut l = 0; |
| 211 | 3628670× | while (1u64 << (l + 1)) < n { |
| 212 | 2680805× | l += 1; |
| 213 | 2680805× | } |
| 214 | 947865× | (1 << l, l) |
| 215 | 947865× | } |
| 216 | |
|
| 217 | |
|
| 218 | |
|
| 219 | |
|
| 220 | 515341× | pub fn stored_hash_index(level: u32, mut n: u64) -> u64 { |
| 221 | 548937× | for _ in 0..level { |
| 222 | 548937× | n = 2 * n + 1; |
| 223 | 548937× | } |
| 224 | 515341× | let mut i = 0; |
| 225 | 515341× | let mut m = n; |
| 226 | 6527434× | while m > 0 { |
| 227 | 6012093× | i += m; |
| 228 | 6012093× | m >>= 1; |
| 229 | 6012093× | } |
| 230 | 515341× | i + level as u64 |
| 231 | 515341× | } |
| 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 | 70150× | pub fn stored_hash_count(n: u64) -> u64 { |
| 253 | 70150× | if n == 0 { |
| 254 | 0× | return 0; |
| 255 | 70150× | } |
| 256 | 70150× | let mut count = stored_hash_index(0, n - 1) + 1; |
| 257 | 70150× | let mut i = n - 1; |
| 258 | 140289× | while i & 1 != 0 { |
| 259 | 70139× | count += 1; |
| 260 | 70139× | i >>= 1; |
| 261 | 70139× | } |
| 262 | 70150× | count |
| 263 | 70150× | } |
| 264 | |
|
| 265 | |
|
| 266 | |
|
| 267 | 70150× | pub fn stored_hashes_for_leaf( |
| 268 | 70150× | n: u64, |
| 269 | 70150× | leaf: Hash, |
| 270 | 70150× | r: &(impl HashReader + ?Sized), |
| 271 | 70150× | ) -> Result<Vec<Hash>> { |
| 272 | 70150× | let m = (n + 1).trailing_zeros(); |
| 273 | 70150× | let indexes: Vec<u64> = (0..m) |
| 274 | 70150× | .rev() |
| 275 | 70150× | .map(|i| stored_hash_index(i, (n >> i) - 1)) |
| 276 | 70150× | .collect(); |
| 277 | 70150× | let old = r.read_hashes(&indexes)?; |
| 278 | 70150× | let mut h = leaf; |
| 279 | 70150× | let mut out = vec![h]; |
| 280 | 70150× | for i in 0..m as usize { |
| 281 | 70139× | h = node_hash(&old[m as usize - 1 - i], &h); |
| 282 | 70139× | out.push(h); |
| 283 | 70139× | } |
| 284 | 70150× | Ok(out) |
| 285 | 70150× | } |
| 286 | |
|
| 287 | 141368× | fn sub_tree_index(mut lo: u64, hi: u64, need: &mut Vec<u64>) { |
| 288 | 332396× | while lo < hi { |
| 289 | 191028× | let (k, level) = maxpow2(hi - lo + 1); |
| 290 | 191028× | debug_assert_eq!(lo & (k - 1), 0); |
| 291 | 191028× | need.push(stored_hash_index(level, lo >> level)); |
| 292 | 191028× | lo += k; |
| 293 | | } |
| 294 | 141368× | } |
| 295 | |
|
| 296 | 141368× | fn sub_tree_hash(mut lo: u64, hi: u64, hashes: &[Hash]) -> (Hash, &[Hash]) { |
| 297 | 141368× | let mut count = 0; |
| 298 | 332396× | while lo < hi { |
| 299 | 191028× | let (k, _) = maxpow2(hi - lo + 1); |
| 300 | 191028× | count += 1; |
| 301 | 191028× | lo += k; |
| 302 | 191028× | } |
| 303 | 141368× | let mut h = hashes[count - 1]; |
| 304 | 141368× | for i in (0..count - 1).rev() { |
| 305 | 49660× | h = node_hash(&hashes[i], &h); |
| 306 | 49660× | } |
| 307 | 141368× | (h, &hashes[count..]) |
| 308 | 141368× | } |
| 309 | |
|
| 310 | |
|
| 311 | 10012× | pub fn tree_hash(n: u64, r: &(impl HashReader + ?Sized)) -> Result<Hash> { |
| 312 | 10012× | if n == 0 { |
| 313 | 1× | return Ok(empty_root()); |
| 314 | 10011× | } |
| 315 | 10011× | let mut need = Vec::new(); |
| 316 | 10011× | sub_tree_index(0, n, &mut need); |
| 317 | 10011× | let hashes = r.read_hashes(&need)?; |
| 318 | 10011× | Ok(sub_tree_hash(0, n, &hashes).0) |
| 319 | 10012× | } |
| 320 | |
|
| 321 | 75981× | fn leaf_proof_index(lo: u64, hi: u64, n: u64, need: &mut Vec<u64>) { |
| 322 | 75981× | if lo + 1 == hi { |
| 323 | 9870× | return; |
| 324 | 66111× | } |
| 325 | 66111× | let (k, _) = maxpow2(hi - lo); |
| 326 | 66111× | if n < lo + k { |
| 327 | 35720× | leaf_proof_index(lo, lo + k, n, need); |
| 328 | 35720× | sub_tree_index(lo + k, hi, need); |
| 329 | 35720× | } else { |
| 330 | 30391× | sub_tree_index(lo, lo + k, need); |
| 331 | 30391× | leaf_proof_index(lo + k, hi, n, need); |
| 332 | 30391× | } |
| 333 | 75981× | } |
| 334 | |
|
| 335 | 75980× | fn leaf_proof(lo: u64, hi: u64, n: u64, hashes: &[Hash]) -> (Vec<Hash>, &[Hash]) { |
| 336 | 75980× | if lo + 1 == hi { |
| 337 | | |
| 338 | 9869× | return (Vec::new(), hashes); |
| 339 | 66111× | } |
| 340 | 66111× | let (k, _) = maxpow2(hi - lo); |
| 341 | | let (mut p, th, rest); |
| 342 | 66111× | if n < lo + k { |
| 343 | 35720× | let (pp, h1) = leaf_proof(lo, lo + k, n, hashes); |
| 344 | 35720× | let (t, h2) = sub_tree_hash(lo + k, hi, h1); |
| 345 | 35720× | (p, th, rest) = (pp, t, h2); |
| 346 | 35720× | } else { |
| 347 | 30391× | let (t, h1) = sub_tree_hash(lo, lo + k, hashes); |
| 348 | 30391× | let (pp, h2) = leaf_proof(lo + k, hi, n, h1); |
| 349 | 30391× | (p, th, rest) = (pp, t, h2); |
| 350 | 30391× | } |
| 351 | 66111× | p.push(th); |
| 352 | 66111× | (p, rest) |
| 353 | 75980× | } |
| 354 | |
|
| 355 | |
|
| 356 | 9870× | pub fn prove_inclusion(t: u64, n: u64, r: &(impl HashReader + ?Sized)) -> Result<Vec<Hash>> { |
| 357 | 9870× | if n >= t { |
| 358 | 0× | return Err(TlogError::BadIndex(format!( |
| 359 | 0× | "leaf {n} is not in a tree of {t}" |
| 360 | 0× | ))); |
| 361 | 9870× | } |
| 362 | 9870× | let mut need = Vec::new(); |
| 363 | 9870× | leaf_proof_index(0, t, n, &mut need); |
| 364 | 9870× | if need.is_empty() { |
| 365 | 1× | return Ok(Vec::new()); |
| 366 | 9869× | } |
| 367 | 9869× | let hashes = r.read_hashes(&need)?; |
| 368 | 9869× | Ok(leaf_proof(0, t, n, &hashes).0) |
| 369 | 9870× | } |
| 370 | |
|
| 371 | 227941× | fn run_inclusion(p: &[Hash], lo: u64, hi: u64, n: u64, leaf: Hash) -> Result<Hash> { |
| 372 | 227941× | if lo + 1 == hi { |
| 373 | 29608× | return if p.is_empty() { |
| 374 | 29608× | Ok(leaf) |
| 375 | | } else { |
| 376 | 0× | Err(TlogError::ProofFailed) |
| 377 | | }; |
| 378 | 198333× | } |
| 379 | 198333× | let Some((last, rest)) = p.split_last() else { |
| 380 | 0× | return Err(TlogError::ProofFailed); |
| 381 | | }; |
| 382 | 198333× | let (k, _) = maxpow2(hi - lo); |
| 383 | 198333× | if n < lo + k { |
| 384 | 107160× | Ok(node_hash(&run_inclusion(rest, lo, lo + k, n, leaf)?, last)) |
| 385 | | } else { |
| 386 | 91173× | Ok(node_hash(last, &run_inclusion(rest, lo + k, hi, n, leaf)?)) |
| 387 | | } |
| 388 | 227941× | } |
| 389 | |
|
| 390 | |
|
| 391 | |
|
| 392 | 29608× | pub fn check_inclusion(proof: &[Hash], t: u64, root: &Hash, n: u64, leaf: &Hash) -> Result<()> { |
| 393 | 29608× | if n >= t { |
| 394 | 0× | return Err(TlogError::ProofFailed); |
| 395 | 29608× | } |
| 396 | 29608× | if run_inclusion(proof, 0, t, n, *leaf)? == *root { |
| 397 | 9870× | Ok(()) |
| 398 | | } else { |
| 399 | 19738× | Err(TlogError::ProofFailed) |
| 400 | | } |
| 401 | 29608× | } |
| 402 | |
|
| 403 | 66251× | fn tree_proof_index(lo: u64, hi: u64, n: u64, need: &mut Vec<u64>) { |
| 404 | 66251× | if n == hi { |
| 405 | 9870× | if lo != 0 { |
| 406 | 8865× | sub_tree_index(lo, hi, need); |
| 407 | 8865× | } |
| 408 | 9870× | return; |
| 409 | 56381× | } |
| 410 | 56381× | let (k, _) = maxpow2(hi - lo); |
| 411 | 56381× | if n <= lo + k { |
| 412 | 35720× | tree_proof_index(lo, lo + k, n, need); |
| 413 | 35720× | sub_tree_index(lo + k, hi, need); |
| 414 | 35720× | } else { |
| 415 | 20661× | sub_tree_index(lo, lo + k, need); |
| 416 | 20661× | tree_proof_index(lo + k, hi, n, need); |
| 417 | 20661× | } |
| 418 | 66251× | } |
| 419 | |
|
| 420 | 66111× | fn tree_proof(lo: u64, hi: u64, n: u64, hashes: &[Hash]) -> (Vec<Hash>, &[Hash]) { |
| 421 | 66111× | if n == hi { |
| 422 | 9730× | if lo == 0 { |
| 423 | | |
| 424 | 865× | return (Vec::new(), hashes); |
| 425 | 8865× | } |
| 426 | 8865× | let (th, rest) = sub_tree_hash(lo, hi, hashes); |
| 427 | 8865× | return (vec![th], rest); |
| 428 | 56381× | } |
| 429 | 56381× | let (k, _) = maxpow2(hi - lo); |
| 430 | | let (mut p, th, rest); |
| 431 | 56381× | if n <= lo + k { |
| 432 | 35720× | let (pp, h1) = tree_proof(lo, lo + k, n, hashes); |
| 433 | 35720× | let (t, h2) = sub_tree_hash(lo + k, hi, h1); |
| 434 | 35720× | (p, th, rest) = (pp, t, h2); |
| 435 | 35720× | } else { |
| 436 | 20661× | let (t, h1) = sub_tree_hash(lo, lo + k, hashes); |
| 437 | 20661× | let (pp, h2) = tree_proof(lo + k, hi, n, h1); |
| 438 | 20661× | (p, th, rest) = (pp, t, h2); |
| 439 | 20661× | } |
| 440 | 56381× | p.push(th); |
| 441 | 56381× | (p, rest) |
| 442 | 66111× | } |
| 443 | |
|
| 444 | |
|
| 445 | |
|
| 446 | 9870× | pub fn prove_consistency(t: u64, n: u64, r: &(impl HashReader + ?Sized)) -> Result<Vec<Hash>> { |
| 447 | 9870× | if n < 1 || n > t { |
| 448 | 0× | return Err(TlogError::BadIndex(format!( |
| 449 | 0× | "no consistency proof from {n} to {t}" |
| 450 | 0× | ))); |
| 451 | 9870× | } |
| 452 | 9870× | let mut need = Vec::new(); |
| 453 | 9870× | tree_proof_index(0, t, n, &mut need); |
| 454 | 9870× | if need.is_empty() { |
| 455 | 140× | return Ok(Vec::new()); |
| 456 | 9730× | } |
| 457 | 9730× | let hashes = r.read_hashes(&need)?; |
| 458 | 9730× | Ok(tree_proof(0, t, n, &hashes).0) |
| 459 | 9870× | } |
| 460 | |
|
| 461 | 132362× | fn run_consistency(p: &[Hash], lo: u64, hi: u64, n: u64, old: Hash) -> Result<(Hash, Hash)> { |
| 462 | 132362× | if n == hi { |
| 463 | 19600× | if lo == 0 { |
| 464 | 1870× | return if p.is_empty() { |
| 465 | 1870× | Ok((old, old)) |
| 466 | | } else { |
| 467 | 0× | Err(TlogError::ProofFailed) |
| 468 | | }; |
| 469 | 17730× | } |
| 470 | 17730× | return match p { |
| 471 | 17730× | [h] => Ok((*h, *h)), |
| 472 | 0× | _ => Err(TlogError::ProofFailed), |
| 473 | | }; |
| 474 | 112762× | } |
| 475 | 112762× | let Some((last, rest)) = p.split_last() else { |
| 476 | 0× | return Err(TlogError::ProofFailed); |
| 477 | | }; |
| 478 | 112762× | let (k, _) = maxpow2(hi - lo); |
| 479 | 112762× | if n <= lo + k { |
| 480 | 71440× | let (oh, th) = run_consistency(rest, lo, lo + k, n, old)?; |
| 481 | 71440× | Ok((oh, node_hash(&th, last))) |
| 482 | | } else { |
| 483 | 41322× | let (oh, th) = run_consistency(rest, lo + k, hi, n, old)?; |
| 484 | 41322× | Ok((node_hash(last, &oh), node_hash(last, &th))) |
| 485 | | } |
| 486 | 132362× | } |
| 487 | |
|
| 488 | |
|
| 489 | |
|
| 490 | 19600× | pub fn check_consistency( |
| 491 | 19600× | proof: &[Hash], |
| 492 | 19600× | t: u64, |
| 493 | 19600× | root: &Hash, |
| 494 | 19600× | n: u64, |
| 495 | 19600× | old_root: &Hash, |
| 496 | 19600× | ) -> Result<()> { |
| 497 | 19600× | if n < 1 || n > t { |
| 498 | 0× | return Err(TlogError::ProofFailed); |
| 499 | 19600× | } |
| 500 | 19600× | let (oh, th) = run_consistency(proof, 0, t, n, *old_root)?; |
| 501 | 19600× | if oh == *old_root && th == *root { |
| 502 | 9870× | Ok(()) |
| 503 | | } else { |
| 504 | 9730× | Err(TlogError::ProofFailed) |
| 505 | | } |
| 506 | 19600× | } |
| 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 | 10× | fn key_hash(name: &str, sig_type: u8, key: &[u8]) -> [u8; 4] { |
| 724 | 10× | let mut h = Sha256::new(); |
| 725 | 10× | h.update(name.as_bytes()); |
| 726 | 10× | h.update(b"\n"); |
| 727 | 10× | h.update([sig_type]); |
| 728 | 10× | h.update(key); |
| 729 | 10× | let d = h.finalize(); |
| 730 | 10× | [d[0], d[1], d[2], d[3]] |
| 731 | 10× | } |
| 732 | |
|
| 733 | |
|
| 734 | 2× | fn note_target(text: &str) -> ObjectRef { |
| 735 | 2× | let mut h = blake3::Hasher::new(); |
| 736 | 2× | h.update(b"oxygen-tlog-note\0"); |
| 737 | 2× | h.update(text.as_bytes()); |
| 738 | 2× | ObjectRef(*h.finalize().as_bytes()) |
| 739 | 2× | } |
| 740 | |
|
| 741 | 3× | fn valid_name(name: &str) -> bool { |
| 742 | 48× | !name.is_empty() && !name.contains(|c: char| c.is_whitespace() || c == '+') |
| 743 | 3× | } |
| 744 | |
|
| 745 | | impl Note { |
| 746 | | |
| 747 | 1× | pub fn encode(&self) -> String { |
| 748 | 1× | let mut out = self.text.clone(); |
| 749 | 1× | out.push('\n'); |
| 750 | 2× | for s in &self.sigs { |
| 751 | 2× | let mut b = s.key_hash.to_vec(); |
| 752 | 2× | b.extend_from_slice(&s.sig); |
| 753 | 2× | out.push_str(&format!( |
| 754 | 2× | "\u{2014} {} {}\n", |
| 755 | 2× | s.name, |
| 756 | 2× | crate::dsse::base64(&b) |
| 757 | 2× | )); |
| 758 | 2× | } |
| 759 | 1× | out |
| 760 | 1× | } |
| 761 | |
|
| 762 | 1× | pub fn parse(s: &str) -> Result<Note> { |
| 763 | 1× | let bad = |w: &str| TlogError::BadNote(w.to_string()); |
| 764 | 1× | let split = s |
| 765 | 1× | .rfind("\n\n") |
| 766 | 1× | .ok_or_else(|| bad("no blank line before the signatures"))?; |
| 767 | 1× | let text = &s[..split + 1]; |
| 768 | 65× | if text.chars().any(|c| c.is_control() && c != '\n') { |
| 769 | 0× | return Err(bad("control characters in the text")); |
| 770 | 1× | } |
| 771 | 1× | let mut sigs = Vec::new(); |
| 772 | 2× | for line in s[split + 2..].lines() { |
| 773 | 2× | let rest = line |
| 774 | 2× | .strip_prefix("\u{2014} ") |
| 775 | 2× | .ok_or_else(|| bad("a signature line without its dash"))?; |
| 776 | 2× | let (name, b64) = rest |
| 777 | 2× | .split_once(' ') |
| 778 | 2× | .ok_or_else(|| bad("a signature line without a key"))?; |
| 779 | 2× | let b = |
| 780 | 2× | crate::dsse::base64_decode(b64).ok_or_else(|| bad("a signature is not base64"))?; |
| 781 | 2× | if b.len() < 5 || !valid_name(name) { |
| 782 | 0× | return Err(bad("a malformed signature line")); |
| 783 | 2× | } |
| 784 | 2× | sigs.push(NoteSignature { |
| 785 | 2× | name: name.to_string(), |
| 786 | 2× | key_hash: [b[0], b[1], b[2], b[3]], |
| 787 | 2× | sig: b[4..].to_vec(), |
| 788 | 2× | }); |
| 789 | | } |
| 790 | 1× | if sigs.is_empty() { |
| 791 | 0× | return Err(bad("no signatures")); |
| 792 | 1× | } |
| 793 | 1× | Ok(Note { |
| 794 | 1× | text: text.to_string(), |
| 795 | 1× | sigs, |
| 796 | 1× | }) |
| 797 | 1× | } |
| 798 | |
|
| 799 | | |
| 800 | | |
| 801 | 1× | pub fn sign(text: &str, name: &str, identity: &Identity, sk: &SecretKey) -> Result<Note> { |
| 802 | 1× | if !valid_name(name) { |
| 803 | 0× | return Err(TlogError::BadNote(format!( |
| 804 | 0× | "{name:?} cannot name a note's key" |
| 805 | 0× | ))); |
| 806 | 1× | } |
| 807 | 1× | 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 | 1× | } |
| 812 | 1× | let ed = NoteSignature { |
| 813 | 1× | name: name.to_string(), |
| 814 | 1× | key_hash: key_hash(name, SIG_ED25519, &identity.ed25519_pk), |
| 815 | 1× | sig: sk.sign_ed25519(text.as_bytes()).to_vec(), |
| 816 | 1× | }; |
| 817 | 1× | let composite = NoteSignature { |
| 818 | 1× | name: name.to_string(), |
| 819 | 1× | key_hash: key_hash(name, SIG_COMPOSITE, &identity.encode()), |
| 820 | 1× | sig: cbor::encode( |
| 821 | 1× | &sk.sign(Domain::Checkpoint, &identity.hash(), ¬e_target(text)) |
| 822 | 1× | .to_value(), |
| 823 | 1× | ), |
| 824 | 1× | }; |
| 825 | 1× | Ok(Note { |
| 826 | 1× | text: text.to_string(), |
| 827 | 1× | sigs: vec![ed, composite], |
| 828 | 1× | }) |
| 829 | 1× | } |
| 830 | |
|
| 831 | | |
| 832 | | |
| 833 | 5× | pub fn verify(&self, name: &str, identity: &Identity) -> Result<()> { |
| 834 | 7× | let find = |t: u8, key: &[u8]| { |
| 835 | 7× | let h = key_hash(name, t, key); |
| 836 | 10× | self.sigs.iter().find(|s| s.name == name && s.key_hash == h) |
| 837 | 7× | }; |
| 838 | 5× | let ed = find(SIG_ED25519, &identity.ed25519_pk) |
| 839 | 5× | .ok_or_else(|| TlogError::BadSignature(format!("no Ed25519 signature by {name}")))?; |
| 840 | 3× | identity |
| 841 | 3× | .verify_ed25519(self.text.as_bytes(), &ed.sig) |
| 842 | 3× | .map_err(|_| { |
| 843 | 1× | TlogError::BadSignature(format!("{name}'s Ed25519 signature does not verify")) |
| 844 | 1× | })?; |
| 845 | 2× | let c = find(SIG_COMPOSITE, &identity.encode()) |
| 846 | 2× | .ok_or_else(|| TlogError::BadSignature(format!("no composite signature by {name}")))?; |
| 847 | 1× | let sig = cbor::decode(&c.sig) |
| 848 | 1× | .map_err(|e| e.to_string()) |
| 849 | 1× | .and_then(|v| Signature::from_value(&v).map_err(|e| e.to_string())) |
| 850 | 1× | .map_err(|e| TlogError::BadSignature(format!("{name}'s composite signature: {e}")))?; |
| 851 | 1× | 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 | 5× | } |
| 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 | 1× | pub fn text(&self) -> String { |
| 870 | 1× | let mut t = format!( |
| 871 | | "{}\n{}\n{}\n", |
| 872 | | self.origin, |
| 873 | | self.size, |
| 874 | 1× | crate::dsse::base64(&self.root) |
| 875 | | ); |
| 876 | 1× | for e in &self.extensions { |
| 877 | 0× | t.push_str(e); |
| 878 | 0× | t.push('\n'); |
| 879 | 0× | } |
| 880 | 1× | t |
| 881 | 1× | } |
| 882 | |
|
| 883 | 1× | pub fn parse(text: &str) -> Result<Checkpoint> { |
| 884 | 1× | let bad = |w: &str| TlogError::BadNote(format!("checkpoint: {w}")); |
| 885 | 1× | if !text.ends_with('\n') { |
| 886 | 0× | return Err(bad("no final newline")); |
| 887 | 1× | } |
| 888 | 1× | let mut lines = text[..text.len() - 1].split('\n'); |
| 889 | 1× | let origin = lines |
| 890 | 1× | .next() |
| 891 | 1× | .filter(|o| !o.is_empty()) |
| 892 | 1× | .ok_or_else(|| bad("no origin"))?; |
| 893 | 1× | let size = lines |
| 894 | 1× | .next() |
| 895 | 1× | .and_then(|s| { |
| 896 | 1× | (s == "0" || !s.starts_with('0')) |
| 897 | 1× | .then(|| s.parse().ok()) |
| 898 | 1× | .flatten() |
| 899 | 1× | }) |
| 900 | 1× | .ok_or_else(|| bad("no tree size"))?; |
| 901 | 1× | let root = lines |
| 902 | 1× | .next() |
| 903 | 1× | .and_then(crate::dsse::base64_decode) |
| 904 | 1× | .and_then(|b| <Hash>::try_from(b).ok()) |
| 905 | 1× | .ok_or_else(|| bad("no root hash"))?; |
| 906 | 1× | Ok(Checkpoint { |
| 907 | 1× | origin: origin.to_string(), |
| 908 | 1× | size, |
| 909 | 1× | root, |
| 910 | 1× | extensions: lines.map(String::from).collect(), |
| 911 | 1× | }) |
| 912 | 1× | } |
| 913 | |
|
| 914 | | |
| 915 | 1× | pub fn sign(&self, identity: &Identity, sk: &SecretKey) -> Result<Note> { |
| 916 | 1× | Note::sign(&self.text(), &self.origin, identity, sk) |
| 917 | 1× | } |
| 918 | |
|
| 919 | | |
| 920 | | |
| 921 | 5× | pub fn verify(note: &Note, origin: &str, identity: &Identity) -> Result<Checkpoint> { |
| 922 | 5× | note.verify(origin, identity)?; |
| 923 | 1× | let c = Checkpoint::parse(¬e.text)?; |
| 924 | 1× | 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 | 1× | } |
| 930 | 1× | Ok(c) |
| 931 | 5× | } |
| 932 | | } |
| 933 | |
|
| 934 | | #[cfg(test)] |
| 935 | | mod tests { |
| 936 | | use super::*; |
| 937 | |
|
| 938 | | |
| 939 | 3× | fn grow(leaves: u64) -> (Vec<Hash>, Vec<Hash>) { |
| 940 | 3× | let mut stored: Vec<Hash> = Vec::new(); |
| 941 | 3× | let mut leaf_hashes = Vec::new(); |
| 942 | 70150× | for n in 0..leaves { |
| 943 | 70150× | let h = leaf_hash(format!("entry {n}").as_bytes()); |
| 944 | 70150× | leaf_hashes.push(h); |
| 945 | 70150× | let add = stored_hashes_for_leaf(n, h, &stored).unwrap(); |
| 946 | 70150× | assert_eq!(stored.len() as u64, stored_hash_index(0, n)); |
| 947 | 70150× | stored.extend(add); |
| 948 | 70150× | assert_eq!(stored.len() as u64, stored_hash_count(n + 1)); |
| 949 | | } |
| 950 | 3× | (stored, leaf_hashes) |
| 951 | 3× | } |
| 952 | |
|
| 953 | | |
| 954 | 19600× | fn mth(leaves: &[Hash]) -> Hash { |
| 955 | 19600× | match leaves.len() { |
| 956 | 0× | 0 => empty_root(), |
| 957 | 9870× | 1 => leaves[0], |
| 958 | 9730× | n => { |
| 959 | 9730× | let (k, _) = maxpow2(n as u64); |
| 960 | 9730× | node_hash(&mth(&leaves[..k as usize]), &mth(&leaves[k as usize..])) |
| 961 | | } |
| 962 | | } |
| 963 | 19600× | } |
| 964 | |
|
| 965 | | #[test] |
| 966 | 1× | fn stored_indexes_round_trip() { |
| 967 | 6× | for level in 0..6 { |
| 968 | 1800× | for n in 0..300 { |
| 969 | 1800× | let i = stored_hash_index(level, n); |
| 970 | 1800× | assert_eq!(split_stored_hash_index(i), (level, n)); |
| 971 | | } |
| 972 | | } |
| 973 | 1× | } |
| 974 | |
|
| 975 | | #[test] |
| 976 | 1× | fn roots_match_rfc_6962_and_every_proof_verifies() { |
| 977 | 1× | let (stored, leaves) = grow(140); |
| 978 | 140× | for t in 1..=140u64 { |
| 979 | 140× | let root = tree_hash(t, &stored).unwrap(); |
| 980 | 140× | assert_eq!(root, mth(&leaves[..t as usize]), "root of {t}"); |
| 981 | 9870× | for n in 0..t { |
| 982 | 9870× | let p = prove_inclusion(t, n, &stored).unwrap(); |
| 983 | 9870× | check_inclusion(&p, t, &root, n, &leaves[n as usize]).unwrap(); |
| 984 | | |
| 985 | 9870× | let other = (n + 1) % t; |
| 986 | 9870× | if other != n { |
| 987 | 9869× | assert!(check_inclusion(&p, t, &root, n, &leaves[other as usize]).is_err()); |
| 988 | 1× | } |
| 989 | 9870× | if let Some(first) = p.first() { |
| 990 | 9869× | let mut bad = p.clone(); |
| 991 | 9869× | bad[0] = node_hash(first, first); |
| 992 | 9869× | assert!(check_inclusion(&bad, t, &root, n, &leaves[n as usize]).is_err()); |
| 993 | 1× | } |
| 994 | 9870× | let old = n + 1; |
| 995 | 9870× | let old_root = tree_hash(old, &stored).unwrap(); |
| 996 | 9870× | let c = prove_consistency(t, old, &stored).unwrap(); |
| 997 | 9870× | check_consistency(&c, t, &root, old, &old_root).unwrap(); |
| 998 | 9870× | if old < t { |
| 999 | 9730× | let fork = node_hash(&old_root, &old_root); |
| 1000 | 9730× | assert!( |
| 1001 | 9730× | check_consistency(&c, t, &root, old, &fork).is_err(), |
| 1002 | | "a forked history" |
| 1003 | | ); |
| 1004 | 140× | } |
| 1005 | | } |
| 1006 | | } |
| 1007 | 1× | assert_eq!(tree_hash(0, &stored).unwrap(), empty_root()); |
| 1008 | 1× | } |
| 1009 | |
|
| 1010 | | #[test] |
| 1011 | 1× | fn tiles_hold_the_stored_hashes() { |
| 1012 | 1× | let n = 70_000u64; |
| 1013 | 1× | let (stored, _) = grow(n); |
| 1014 | 1× | let tiles = Tile::new_tiles(0, n); |
| 1015 | | |
| 1016 | | |
| 1017 | 277× | assert_eq!(tiles.iter().filter(|t| t.level == 0).count(), 274); |
| 1018 | 277× | assert_eq!(tiles.iter().filter(|t| t.level == 2).count(), 1); |
| 1019 | 1× | let datas: Vec<(Tile, Vec<u8>)> = tiles |
| 1020 | 1× | .iter() |
| 1021 | 277× | .map(|t| (*t, t.read_data(&stored).unwrap())) |
| 1022 | 1× | .collect(); |
| 1023 | 20000× | for (i, want) in stored.iter().enumerate().step_by(7) { |
| 1024 | 20000× | let (t, ..) = Tile::for_index(i as u64); |
| 1025 | 20000× | let (tile, data) = datas |
| 1026 | 20000× | .iter() |
| 1027 | 2756800× | .find(|(d, _)| d.level == t.level && d.n == t.n && d.width >= t.width) |
| 1028 | 20000× | .expect("the tile holding it was written"); |
| 1029 | 20000× | assert_eq!( |
| 1030 | 20000× | tile.hash_at(data, i as u64).unwrap(), |
| 1031 | | *want, |
| 1032 | | "stored hash {i}" |
| 1033 | | ); |
| 1034 | | } |
| 1035 | | |
| 1036 | 1× | let grown = Tile::new_tiles(n, n + 300); |
| 1037 | 3× | assert!(grown.iter().all(|t| t.level > 0 || t.n >= n / 256)); |
| 1038 | 1× | } |
| 1039 | |
|
| 1040 | | #[test] |
| 1041 | 1× | fn tile_paths() { |
| 1042 | 1× | assert_eq!(index_path(1_234_067), "x001/x234/067"); |
| 1043 | 1× | assert_eq!(index_path(5), "005"); |
| 1044 | 1× | assert_eq!(index_path(1000), "x001/000"); |
| 1045 | 1× | assert_eq!(parse_index_path("x001/x234/067"), Some(1_234_067)); |
| 1046 | 1× | assert_eq!(parse_index_path("x001/234/067"), None); |
| 1047 | 1× | let t = Tile { |
| 1048 | 1× | level: 1, |
| 1049 | 1× | n: 1234, |
| 1050 | 1× | width: 17, |
| 1051 | 1× | }; |
| 1052 | 1× | assert_eq!(t.path(), "tile/1/x001/234.p/17"); |
| 1053 | 1× | assert_eq!(Tile::parse("1/x001/234.p/17"), Some(t)); |
| 1054 | 1× | assert_eq!( |
| 1055 | 1× | Tile { |
| 1056 | 1× | level: 0, |
| 1057 | 1× | n: 3, |
| 1058 | 1× | width: 256 |
| 1059 | 1× | } |
| 1060 | 1× | .entries_path(), |
| 1061 | | "tile/entries/003" |
| 1062 | | ); |
| 1063 | 1× | assert_eq!(Tile::parse("0/003.p/256"), None, "a full tile has no .p"); |
| 1064 | 1× | } |
| 1065 | |
|
| 1066 | | #[test] |
| 1067 | 1× | fn entries_and_bundles_round_trip() { |
| 1068 | 1× | let e = Entry { |
| 1069 | 1× | kind: "ref".into(), |
| 1070 | 1× | repo: [7; 16], |
| 1071 | 1× | object: ObjectRef([1; 32]), |
| 1072 | 1× | signers: vec![ObjectRef([2; 32])], |
| 1073 | 1× | received: 1_792_000_000_000, |
| 1074 | 1× | }; |
| 1075 | 1× | assert_eq!(Entry::decode(&e.encode()).unwrap(), e); |
| 1076 | 1× | let b = encode_bundle(&[e.encode(), b"x".to_vec()]).unwrap(); |
| 1077 | 1× | assert_eq!(decode_bundle(&b).unwrap(), vec![e.encode(), b"x".to_vec()]); |
| 1078 | 1× | assert!(decode_bundle(&b[..b.len() - 1]).is_err()); |
| 1079 | 1× | assert_eq!(e.leaf_hash(), leaf_hash(&e.encode())); |
| 1080 | 1× | } |
| 1081 | |
|
| 1082 | | #[test] |
| 1083 | 1× | fn checkpoints_are_signed_twice_and_checked() { |
| 1084 | 1× | let sk = SecretKey::generate(); |
| 1085 | 1× | let hub = sk.identity("oxygenhub.io", "[email protected]", 1); |
| 1086 | 1× | let (stored, _) = grow(10); |
| 1087 | 1× | let c = Checkpoint { |
| 1088 | 1× | origin: "oxygenhub.io/log".into(), |
| 1089 | 1× | size: 10, |
| 1090 | 1× | root: tree_hash(10, &stored).unwrap(), |
| 1091 | 1× | extensions: vec![], |
| 1092 | 1× | }; |
| 1093 | 1× | let note = c.sign(&hub, &sk).unwrap(); |
| 1094 | 1× | let served = note.encode(); |
| 1095 | 1× | assert!(served.starts_with("oxygenhub.io/log\n10\n")); |
| 1096 | 1× | assert_eq!(served.matches("\n\u{2014} oxygenhub.io/log ").count(), 2); |
| 1097 | 1× | let back = Note::parse(&served).unwrap(); |
| 1098 | 1× | assert_eq!( |
| 1099 | 1× | Checkpoint::verify(&back, "oxygenhub.io/log", &hub).unwrap(), |
| 1100 | | c |
| 1101 | | ); |
| 1102 | | |
| 1103 | 1× | let other_sk = SecretKey::generate(); |
| 1104 | 1× | let other = other_sk.identity("x", "x@x", 1); |
| 1105 | 1× | assert!(Checkpoint::verify(&back, "oxygenhub.io/log", &other).is_err()); |
| 1106 | 1× | assert!(Checkpoint::verify(&back, "elsewhere/log", &hub).is_err()); |
| 1107 | 1× | let forged = Note { |
| 1108 | 1× | text: back.text.replace("\n10\n", "\n11\n"), |
| 1109 | 1× | ..back.clone() |
| 1110 | 1× | }; |
| 1111 | 1× | assert!(Checkpoint::verify(&forged, "oxygenhub.io/log", &hub).is_err()); |
| 1112 | 1× | let ed_only = Note { |
| 1113 | 1× | sigs: vec![back.sigs[0].clone()], |
| 1114 | 1× | ..back.clone() |
| 1115 | 1× | }; |
| 1116 | 1× | assert!( |
| 1117 | 1× | matches!(Checkpoint::verify(&ed_only, "oxygenhub.io/log", &hub), Err(TlogError::BadSignature(m)) if m.contains("composite")), |
| 1118 | | "the post-quantum line is required" |
| 1119 | | ); |
| 1120 | | |
| 1121 | 1× | let h = key_hash("oxygenhub.io/log", SIG_ED25519, &hub.ed25519_pk); |
| 1122 | 1× | assert_eq!(back.sigs[0].key_hash, h); |
| 1123 | 1× | assert!(hub |
| 1124 | 1× | .verify_ed25519(back.text.as_bytes(), &back.sigs[0].sig) |
| 1125 | 1× | .is_ok()); |
| 1126 | 1× | } |
| 1127 | | } |