[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