All pull requests

Pull requests

• Redraw Merkle tree and release diagrams to match the CCF overview, and lighten the docs dark theme

  #8701·Amaury Chamayou (achamayou) opened Nov 6, 2026Member·

  ·
  2

• Generate GitHub release notes directly from change descriptions

  #8700·Eddy Ashton (eddyashton) opened Nov 6, 2026Member·

  ·
  6

• Export node logger records to Fluentd

  #8698·cjen1-msft opened Nov 6, 2026Contributor·2/2·

  ·

• Publish the PQ service signing identity

  #8696·Max (maxtropets) opened Nov 6, 2026Collaborator·6/6·

  ·
  

• Write ML-DSA service certificates on Start and Recover

  #8694·Max (maxtropets) opened Nov 6, 2026Collaborator·5/6·

  ·
  2

  

• Record partitions consistency traces and replay them in Lean

  #8693·Amaury Chamayou (achamayou) opened Nov 6, 2026Member·

  ·
  2

• Run Lean CI jobs on 1ES pools in Azure Linux 4 MCR container

  #8692·Amaury Chamayou (achamayou) opened Nov 6, 2026Member·

  ·
  4

• Make CCF stderr fatal-only and consistent

  #8690·Amaury Chamayou (achamayou) opened Nov 5, 2026Member·

  ·
  1

  16

• Avoid empty index bucket files with authenticated directories

  bench-ab
  #8686·Eddy Ashton (eddyashton) opened Nov 5, 2026Member·

  ·
  15

• Explore reachability-based Lean property statements

  #8679·cjen1-msft opened Nov 5, 2026Contributor·

  ·

• Add an opt-in TLS 1.3 traffic-key policy

  #8677·Eddy Ashton (eddyashton) opened Nov 5, 2026Member·2/2·

  ·
  8

• Replay Raft retirements from explicit trace events

  #8658·cjen1-msft opened Nov 3, 2026Contributor·

  ·
  10

• (wip draft proposal) Reduce memory used by snapshot load and generation

  #8649·Ivar (aɪvɑr) (ivarprudnikov) opened Nov 2, 2026Member·

  ·
  1

• Prove commit liveness for the ccf-raft Lean model

  #8640·cjen1-msft opened Oct 27, 2026Contributor·

  ·

• Refuse pre-votes while a primary is known

  #8639·cjen1-msft opened Oct 27, 2026Contributor·

  ·
  4

• Model atomic CCF consensus send passes

  #8638·cjen1-msft opened Oct 27, 2026Contributor·

  ·
  3

• COSE Key and COSE_Sign1 for ML-DSA keys

  #8634·Max (maxtropets) opened Oct 26, 2026Collaborator·4/6·

  ·
  2

  

• Reimplement Shamir secret sharing in verified Rust

  #8614·Amaury Chamayou (achamayou) opened Oct 21, 2026Member·

  ·

• Add opt-in did:key identities for nodes, members, and users

  #8602·Amaury Chamayou (achamayou) opened Oct 19, 2026Member·

  ·
  7

• Remove deprecated request forwarding for 8.0

  #8539·Eddy Ashton (eddyashton) opened Oct 8, 2026Member·2/2·

  ·

  · 8.0.0

• Remove built-in HTTP/2 server support

  #8536·Eddy Ashton (eddyashton) opened Oct 8, 2026Member·

  ·

  · 8.0.0
  1

• Forbid live signature-table access in CCF 8.0

  run-long-test
  #8490·Amaury Chamayou (achamayou) opened Oct 2, 2026Member·

  ·

  · 8.0.0
  1

  2

• Make public header components acyclic, and forbid new cycles

  #8478·Amaury Chamayou (achamayou) opened Sep 30, 2026Member·

  ·

  · 8.0.0
  5

• Replace bundled fmt with std::format

  bench-ab
  #8368·Amaury Chamayou (achamayou) opened Sep 13, 2026Member·

  ·

  · 8.0.0
  6

• [WIP] Systematic testing: Test the full KV + History + Consensus stack, with deterministic and randomly-explored interleavings

  #8238·Eddy Ashton (eddyashton) opened Aug 28, 2026Member·

  ·