All pull requests

Pull requests

• fix(hazmat): drop the __libc_csu stubs, and the system -L on Linux

  #153·IvanAnishchuk opened Nov 3, 2026Contributor·8 of 11 tasks·

  ·
  1

• feat(proofs): prove that honest Heze nodes finalize on the EMPTY side of a censored payload

  #140·IvanAnishchuk opened Oct 25, 2026Contributor·3 of 9 tasks·

  ·

• feat(proofs): prove Casper FFG accountable safety for two honest Heze nodes, with stake drift

  #139·IvanAnishchuk opened Oct 25, 2026Contributor·3 of 9 tasks·

  ·

• feat(proofs): compose the Heze payload race from the decision slot and the committees of the window

  #138·IvanAnishchuk opened Oct 25, 2026Contributor·3 of 9 tasks·

  ·

• feat(proofs): prove that the shuffle is a permutation and the beacon committees partition the active set

  #137·IvanAnishchuk opened Oct 25, 2026Contributor·3 of 9 tasks·

  ·

• feat(proofs): prove that EMPTY stays ahead in the Heze payload race on the executable fork choice

  #136·IvanAnishchuk opened Oct 25, 2026Contributor·3 of 9 tasks·

  ·

• feat(proofs): prove that honest Heze nodes keep their heads and duties off a payload that failed FOCIL

  #135·IvanAnishchuk opened Oct 25, 2026Contributor·4 of 9 tasks·

  ·

• fix(ethclspecs): raise where pyspec raises in fork choice, the shuffle, epoch processing and block operations

  #134·IvanAnishchuk opened Oct 25, 2026Contributor·4 of 9 tasks·

  ·

• feat: the theorem-vector generator, the pyspec operations formats, and the client harnesses

  #133·leolara opened Oct 24, 2026Contributor·

  ·
  2

• ci: compile benchmark tools in consensus checks

  #126·trungkien1992 opened Oct 14, 2026·1 task done·

  ·
  4

• fix(sizzlean): reject extra unused bytes in SSZ.deserialize

  #119·irajgill opened Sep 25, 2026Contributor·1 task done·

  ·
  1

• feat(proofs): prove the FOCIL inclusion dichotomy for an honest transaction

  #115·IvanAnishchuk opened Sep 23, 2026Contributor·3 of 9 tasks·

  ·

• feat(proofs): prove the fork-choice map laws and pair each payload with its EL answer

  #114·IvanAnishchuk opened Sep 23, 2026Contributor·3 of 9 tasks·

  ·

• feat(proofs): prove what a failed inclusion list costs in Heze

  #113·IvanAnishchuk opened Sep 23, 2026Contributor·3 of 9 tasks·

  ·

• feat(ethcllib): verify a Merkle branch into nested container fields

  #112·IvanAnishchuk opened Sep 23, 2026Contributor·3 of 9 tasks·

  ·

• feat(ethcllib): state branch completeness on Spec.merkleize

  #111·IvanAnishchuk opened Sep 23, 2026Contributor·3 of 9 tasks·

  ·

• feat(ethclspecs): make the builder pending-balance sums throw-faithful

  #110·IvanAnishchuk opened Sep 23, 2026Contributor·4 of 9 tasks·

  ·

• feat(proofs): bound the beacon committee size

  #109·IvanAnishchuk opened Sep 23, 2026Contributor·3 of 9 tasks·

  ·

• feat(proofs): prove builder withdrawals never raise a builder balance

  #108·IvanAnishchuk opened Sep 23, 2026Contributor·3 of 9 tasks·

  ·

• feat(proofs): prove the deposit path keeps validators and balances aligned

  #107·IvanAnishchuk opened Sep 23, 2026Contributor·3 of 9 tasks·

  ·

• feat(ethclspecs): make the process_deposit index increment throw-faithful

  #106·IvanAnishchuk opened Sep 23, 2026Contributor·4 of 9 tasks·

  ·

• feat(ethclspecs): make the churn reservation and the withdrawable epoch throw-faithful

  #105·IvanAnishchuk opened Sep 23, 2026Contributor·4 of 9 tasks·

  ·

• feat(ethclspecs): make compute_activation_exit_epoch throw-faithful

  #104·IvanAnishchuk opened Sep 23, 2026Contributor·4 of 9 tasks·

  ·

• feat(ethclspecs): make compute_start_slot_at_epoch throw-faithful, and prove the slot and epoch conversions

  #103·IvanAnishchuk opened Sep 23, 2026Contributor·4 of 9 tasks·

  ·

• feat(LeanImtPlus): implement authenticated SHA-256 tree and unified proofs

  #23·protocolwhisper opened Jul 15, 2026·8 of 13 tasks·

  ·
  6