Bug 772 - Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Instructions
Summary: Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Ins...
Status: RESOLVED FIXED
Alias: None
Product: Libre-SOC's second ASIC
Classification: Unclassified
Component: source code (show other bugs)
Version: unspecified
Hardware: Other Linux
: Low enhancement
Assignee: 2021-02-052
URL: https://libre-soc.org/openpower/sv/bi...
Depends on: 817
Blocks: 589
  Show dependency tree / graph
 
Reported: 2022-02-15 06:41 GMT by Jacob Lifshay
Modified: 2024-08-28 22:16 BST (History)
4 users (show)

See Also:
NLnet milestone: NLnet.2021.02A.052.CryptoRouter
total budget (EUR) for completion of task and all subtasks: 9000
budget (EUR) for this task, excluding subtasks' budget: 3000
parent task for budget allocation: 589
child tasks for budget allocation: 741 964
The table of payments (in EUR) for this task; TOML format:
[lkcl] amount = 1200 submitted = 2024-05-22 [jacob] amount = 1800 submitted = 2024-05-21 paid = 2024-08-27

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jacob Lifshay 2022-02-15 06:41:59 GMT 
Creation of the HDL code for the instructions used to implement the Cryptographic
Primitives. Also, creation of the unit-tests for the new/changed HDL code,
or other related HDL code that needs testing.
Comment 1 Jacob Lifshay 2023-09-05 17:34:57 BST 
I think we should move adding the bigint insns to soc.git to be a subtask of this bug.
Comment 2 Luke Kenneth Casson Leighton 2023-09-05 18:16:05 BST 
(In reply to Jacob Lifshay from comment #1)
> I think we should move adding the bigint insns to soc.git to be a subtask of
> this bug.

the simulator is the top priority. reprioritising this task to "low".
Comment 3 Luke Kenneth Casson Leighton 2024-05-18 05:02:53 BST 
for payment reasoning, see https://bugs.libre-soc.org/show_bug.cgi?id=785#c13
Comment 4 Jacob Lifshay 2024-05-22 06:19:43 BST 
turns out the formal proofs for bug #785 were supposed to be under bug #840, so we're moving just the formal proofs to that bug, everything else (hdl implementations and unit tests for gfbinv/gfbmul/gfbmadd) stays under this bug.
Comment 5 Luke Kenneth Casson Leighton 2024-08-12 15:15:11 BST 
assigning to 2021-02-052@nlnet.nl all subtasks completed, waiting 12 weeks
for QUESTIONS regarding this milestone, PUBLICLY, to meet project's
full transparency trust and audit requirements.
Comment 6 Jacob Lifshay 2024-08-16 22:25:23 BST 
as requested by nlnet, I added some documentation in the form of links on the wiki to where the hardware implementations and tests and formal proofs for gfbinv and gfbmadd can be found:
https://git.libre-soc.org/?p=libreriscv.git;a=commitdiff;h=b215d742df3838addea3b425c16bf139e3d5f3c8;hp=67bec36c57df5d5de2ecc373026cd015d02c6c40
Comment 7 Luke Kenneth Casson Leighton 2024-08-16 23:47:52 BST 
(In reply to Jacob Lifshay from comment #6)
> as requested by nlnet, I added some documentation

again,just as with bug #840 if you are receiving PRIVATE and DIRECT
communication from them *please publish it here*, i cannot emphasise
enough how unsafe it is to engage privately with them.

.  in the form of links on
> the wiki to where the hardware implementations and tests and formal proofs
> for gfbinv and gfbmadd can be found:
> https://git.libre-soc.org/?p=libreriscv.git;a=commitdiff;
> h=b215d742df3838addea3b425c16bf139e3d5f3c8;
> hp=67bec36c57df5d5de2ecc373026cd015d02c6c40

ahh ok, ahhh... this covers both gfbmadd and gfbinv.
i'm putting the same href/name in to the URL field,
it only takes you to gfbmadd, but hey.