All pull requests

Pull requests

• PPC64LE ECDSA: verification's [u]G + [v]Q by one chain of doublings

  untrusted-only
  #4747·alex opened Nov 8, 2026Member·

  ·
  1

• PPC64LE: SEED's serial modes on a verified single-block core

  untrusted-only
  #4746·alex opened Nov 8, 2026Member·

  ·

• MdStream x86-64: bound each indexed buffer store by clamping its index

  untrusted-only
  #4745·reaperhulk opened Nov 8, 2026Member·

  ·

• AES-CBC PPC64LE: decryption groups of eight in vector registers

  untrusted-only
  #4744·alex opened Nov 8, 2026Member·

  ·

• PPC64LE brainpoolP256r1, P384r1: public keys and signatures by the comb

  #4743·alex opened Nov 8, 2026Member·

  ·

• PPC64LE GHASH: two blocks per reduction with H² below sixteen blocks

  untrusted-only
  #4742·alex opened Nov 8, 2026Member·

  ·

• TCB: x86-64 functions return without secret residue, but those an allowlist names

  #4741·reaperhulk opened Nov 8, 2026Member·

  ·
  1

• PPC64LE P-224: public keys and RFC 6979 signatures by the signed seven-bit comb

  #4740·alex opened Nov 8, 2026Member·

  ·

• PPC64LE P-384: public keys and RFC 6979 signatures by the signed seven-bit comb

  #4739·alex opened Nov 8, 2026Member·

  ·

• 3DES PPC64LE: CBC and CFB64 decryption 64 blocks at a time

  #4738·alex opened Nov 8, 2026Member·

  ·
  1

• PPC64LE AES-CTR: counters by vadduwm, and one vperm per block

  untrusted-only
  #4737·alex opened Nov 8, 2026Member·

  ·
  1

• PPC64LE P-521: public keys and RFC 6979 signatures by the signed seven-bit comb

  #4736·alex opened Nov 8, 2026Member·

  ·

• PPC64LE: Camellia's serial modes on a verified single-block core

  untrusted-only
  #4734·alex opened Nov 8, 2026Member·

  ·
  1

• PPC64LE P-256: RFC 6979 signatures by the signed seven-bit comb

  #4732·alex opened Nov 8, 2026Member·

  ·
  1

• PPC64LE brainpoolP256r1, P384r1 ECDH: [d]P by four-bit windows for any a

  untrusted-only
  #4731·alex opened Nov 8, 2026Member·Queued

• PPC64LE: inverses by sliding windows of p − 2 and n − 2

  untrusted-only
  #4730·alex opened Nov 8, 2026Member·

  ·
  1

• AES-GCM-SIV on PPC64LE: the message keys by one call of vg_aes_encrypt_blocks

  untrusted-only
  #4726·alex opened Nov 8, 2026Member·Queued
  2

• 3DES PPC64LE: drop the bitsliced S-boxes' redundant #guard and its allocator

  untrusted-only
  #4723·alex opened Nov 8, 2026Member·Queued
  1

• PPC64LE P-521 ECDH: [d]P by three-bit windows

  untrusted-only
  #4722·alex opened Nov 8, 2026Member·

  ·

• PPC64LE P-384 ECDH: [d]P by four-bit windows

  untrusted-only
  #4719·alex opened Nov 8, 2026Member·

  ·

• CLAUDE.md: a new variant is an element of its interface's list

  #4708·alex opened Nov 8, 2026Member·

  ·

• TCB: delete Emit.qualifiedName

  #4706·alex opened Nov 8, 2026Member·

  ·

• PPC64LE FFDH parameter candidates: trial division by products of four entries

  untrusted-only
  #4705·alex opened Nov 8, 2026Member·

  ·
  1

• qualifiedName is a registration helper, not part of the emitter

  #4703·alex opened Nov 8, 2026Member·

  ·

• PPC64LE: Ed448's verification by the joint signed window

  #4701·alex opened Nov 8, 2026Member·

  ·
  2