Inside the bet.
What the machines are teaching me.
Research, new cores, and deep dives. What worked, what broke, and what still needs a human. Written only when there’s something worth reading. No schedule, no spam, no filler.
Jane Street Puzzle Solution: Can you reverse engineer an ASIC?
From raw GDS polygons to a private proof of success: the circuit was reconstructed gate by gate, bounded model checking found the winning trace in seven seconds, and zero knowledge proved possession without exposing the answer.
AES-256-GCM core family
A preview datasheet for nine AES-256-GCM cores across serial, iterative, and pipelined designs. Compare area, throughput, and power on the same Alveo U55C, from BRAM-free serial designs to a fully pipelined core handling six independent packet streams at a peak aggregate 1.075 Tbps.