[Libre-soc-bugs] [Bug 840] Formal proofs and unit tests for cryptoprimitives

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=840

--- Comment #11 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
a private and secretive conversation took place between an
agent of nlnet and jacob lifshay (see comment #6 for evidence
of the existence of that private, secretive and non-transparent
conversation)

we have evidence of a review taking place, in the form of a disconnected
message from nlnet's system (no cross-referencing provided). only by chance
was it possible to make the connection that it was this bugreport that had
been reviewed.

https://lists.libre-soc.org/pipermail/libre-soc-dev/2024-August/006407.html

-- 
You are receiving this mail because:
You are on the CC list for the bug.