Repositories
TomWambsgans/hardware-wallet-benchmark
TomWambsgans/sig.golf-submissions
Proof submissions for sig.golf: pull requests verified by the hosted checker, never merged; main holds the current record root and records.json
TomWambsgans/ots.golf-submissions
TomWambsgans/strawmap
Ethereum Strawmap — Draft Roadmap
TomWambsgans/ethlambda
A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to deliver a robust and performant implementation.
TomWambsgans/hashcaster2
Newfanged RMFE in polynomials.
TomWambsgans/flock
TomWambsgans/whir
WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
TomWambsgans/Plonky3
A toolkit for polynomial IOPs (PIOPs)
TomWambsgans/whir-p3
TomWambsgans/leanMultisig-py
TomWambsgans/misc
TomWambsgans/leanSpec
Lean Ethereum protocol specifications and test vector generation framework.
TomWambsgans/leanSig
Rust implementation of the current leanSig proposal.
TomWambsgans/tight-xmss
TomWambsgans/Whirlaway
A pqSNARK with lightweight proofs, powered by the Whir PCS.
TomWambsgans/soundcalc
A universal soundness calculator across hash-based zkEVMs and security regimes
TomWambsgans/hard-pass
investigating twist and shout hard sumcheck performance
TomWambsgans/simple-snark-spec
TomWambsgans/hash-sig
Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
TomWambsgans/leanMultisig
TomWambsgans/conservative-xmss-aggregation
XMSS (keccak256) signature aggregation with Binius.
TomWambsgans/binius
A SNARK using towers of binary fields, implemented in Rust