[Libre-soc-bugs] [Bug 840] Formal proofs and unit tests for cryptoprimitives
bugzilla-daemon at libre-soc.org
bugzilla-daemon at libre-soc.org
Fri Aug 16 23:54:46 BST 2024
https://bugs.libre-soc.org/show_bug.cgi?id=840
--- Comment #8 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #7)
> (In reply to Jacob Lifshay from comment #6)
> > as requested by nlnet,
>
> can you please publish that request. i.e. do not engage in private
> conversations.
> it is critically important to ensure full transparency.
I asked, we'll see what they say.
--
You are receiving this mail because:
You are on the CC list for the bug.
More information about the libre-soc-bugs
mailing list