All pull requests

Pull requests

• Bump Swatinem/rust-cache from 2.9.2 to 2.9.3

  dependenciesgithub_actions
  #3514·dependabot[bot] opened Oct 25, 2026Bot·Queued

• PPC64LE: select the RSA CRT's window table entries on 64-bit words

  #3512·alex opened Oct 25, 2026Member·Queued

• PPC64LE: modular doublings on 64-bit words in the RSA CRT's R² mod p and m₂ mod p

  #3509·alex opened Oct 25, 2026Member·

  ·

• PPC64LE: reduce the RSA CRT input modulo each prime by Montgomery chunks

  #3508·alex opened Oct 25, 2026Member·

  ·

• PPC64LE Miller–Rabin round: masked copies and comparisons in 64-bit words

  #3506·alex opened Oct 25, 2026Member·Queued

• Narrow imports in 150 AArch64 proof modules

  untrusted-only
  #3505·reaperhulk opened Oct 25, 2026Member·

  ·
  1

• PPC64LE: R² mod p by Montgomery squares in vg_rsa_private_crt

  #3504·alex opened Oct 25, 2026Member·

  ·

• PPC64LE SM4: bitslice the round keys from their words directly

  #3503·alex opened Oct 25, 2026Member·Queued

• PPC64LE: R² mod n by six Montgomery squares in vg_rsa_public_precompute

  #3502·alex opened Oct 25, 2026Member·

  ·
  1

• CI: lint every target from one x86-64 runner

  #3501·alex opened Oct 25, 2026Member·

  ·

• PPC64LE RSA: 64-bit words in the key working space's loops

  #3500·alex opened Oct 25, 2026Member·Queued

• RISC-V: verified SHA-256 and SHA-224

  #3498·alex opened Oct 25, 2026Member·Queued
  1

• TCB: RISC-V mul and mulhu

  #3495·alex opened Oct 25, 2026Member·

  ·

• CI: narrow Rust jobs by module cfg and in the merge queue; full runs every six hours

  #3176·reaperhulk opened Oct 23, 2026Member·

  ·

• [DRAFT stack] Indirect calls on x86-64, and one RSA-OAEP / RSA-PSS / RFC 6979 function per operation, through hash tables

  #2722·alex opened Oct 18, 2026Member·

  ·

• rustls-provider: a rustls CryptoProvider backed by verified-garbage, and benchmarks against aws-lc-rs

  #991·alex opened Oct 5, 2026Member·

  ·
  5

• Experiment: verified "no secret residue" on return (x86-64)

  #801·reaperhulk opened Oct 4, 2026Member·

  ·
  1

• Prototype: speculative store bypass (Spectre v4) semantics and taint checker for x86-64

  #773·reaperhulk opened Oct 4, 2026Member·

  ·
  1

• Prototype: speculative constant time (Spectre v1/v1.1) for x86-64 taint proofs

  #769·reaperhulk opened Oct 4, 2026Member·

  ·
  3