Hacker News new | ask | show | jobs
by thulle 817 days ago
I see hacspec using secret-integers: "wrapper around integer types for constant-timedness". Does Hacspec/Bertie have assurances about constant-timedness too?