All pull requests

Pull requests

• No Nested Relay Addresses

  #994·aszepieniec opened Nov 2, 2026Contributor·

  ·
  1

  1

• Succinct block validation, soft fork epsilon -- making the blockchain into a proofchain

  #988·Sword-Smith opened Oct 21, 2026Member·

  ·
  8

• formal: machine-checked security arguments with source pinning

  #984·robinhodde opened Oct 9, 2026·

  ·

• formal: Lean 4 model and proofs of mutator set index derivation

  #983·robinhodde opened Oct 9, 2026·

  ·

• DeFi Compatibility Layer and Standing Swap Orders, including for Future Neptune

  #980·aszepieniec opened Oct 5, 2026Contributor·2 tasks done·

  ·
  8

• fix lockscript proving paths and faster sync bitmask canonize

  #905·mooncitydev opened Apr 11, 2026·

  ·
  2

• feat: add first version of the prover of sent UTXO

  #903·skaunov opened Apr 9, 2026Member·

  ·
  8

• asz/skaunov/reserves

  #890·aszepieniec opened Mar 23, 2026Contributor·

  ·

• unification of tests assertion implementations in Triton-program specs

  #867·skaunov opened Feb 20, 2026Member·

  ·

• Feat: Accept 18 and 24 words mnemonic

  #822·hduoc2003 opened Dec 18, 2025Contributor·

  ·
  3

• ~~proof of reserves,~~ proof of a transfer

  #799·skaunov opened Dec 3, 2025Member·

  ·
  127