All pull requests

Pull requests

• Update Lean execution traces to record actions and validity proofs

  #8647·cjen1-msft opened Oct 30, 2026Contributor·

  ·
  1

• Harden CCF COSE receipts for the draft -06 profile

  #8646·Eddy Ashton (eddyashton) opened Oct 29, 2026Member·

  ·
  1

• Harden OpenSSL int-length call sites against inputs above INT_MAX

  #8645·Eddy Ashton (eddyashton) opened Oct 29, 2026Member·

  ·
  1

• Prove commit liveness for the ccf-raft Lean model

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

  ·

• Refuse pre-votes while a primary is known

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

  ·
  4

• Align the ccf-raft Lean model with CCF rejoin and send-pass behaviour

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

  ·
  3

• Add outbound TLS connections with a shared OpenSSL engine

  #8637·Eddy Ashton (eddyashton) opened Oct 27, 2026Member·

  ·
  2

• COSE Key and COSE_Sign1 for ML-DSA keys

  run-long-test
  #8634·Max (maxtropets) opened Oct 26, 2026Collaborator·4/4·

  ·
  

• Create PQ service cert when starting or recovering with OpenSSL 3.5

  #8632·Max (maxtropets) opened Oct 26, 2026Collaborator·3/4·

  ·
  3

  

• Support ML-DSA certs in CCF's PKI

  run-long-test
  #8629·Max (maxtropets) opened Oct 23, 2026Collaborator·2/4·

  ·
  1

  

• 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

• State TLA+ LogInv and CommittedLogAppendOnlyProp in the Lean ccf-raft model

  #8590·cjen1-msft opened Oct 15, 2026Contributor·

  ·

• 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

• Add Lean KV model and trace conformance tooling

  bench-ablean
  #8339·Amaury Chamayou (achamayou) opened Sep 10, 2026Member·

  ·
  8

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

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

  ·

• [WIP] Refactor Consensus API and KV Interaction

  #8190·Eddy Ashton (eddyashton) opened Aug 20, 2026Member·

  ·

• Remove governance-managed CA bundles for outbound TLS

  #8027·eddyashton with CopilotAI opened Jul 6, 2026·

  ·

  · 8.0.0
  3