[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 #15 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Jacob Lifshay from comment #13)

Michiel gave me permission to quote the following reply:

> > I would assume it's also sufficient for Luke to get paid for the exact same task
> 
> That is an understandable but incorrect inference. Even within a single task, different people will have distinct roles and responsibilities. You made an engineering contribution. That part seems finished, and so it was paid. As the project lead, Luke is also responsible for integrating the outputs of this and all other dangling task into the documentation skeleton of this particular project. The project is claimed to be completed, so we are asking where the outputs we were promised by Luke can be found.
> 
> At this moment, there is nothing even remotely shaped like a cryptorouter documented anywhere - not even a failed, incomplete one. We need Luke (or someone else knowledgeable) to provide this skeleton.
> 
> I think this would probably be the right starting point:
> 
> https://libre-soc.org/crypto_router_asic/
> 
> This page was last edited Thu Nov 25 17:13:51 2021, but from there it would seem feasible to get the heavily fragmented information into a presentable shape.

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