-# NL.net proposal
+# NL.net proposal 2021-02-052
+* [[nlnet_2021_crypto_router/discussion]]
+
+top-level bugreport: <https://bugs.libre-soc.org/show_bug.cgi?id=589>
## Project name
## Website / wiki
-<https://libre-riscv.org/nlnet_2021_crypto_router>
+<https://libre-soc.org/nlnet_2021_crypto_router>
Please be short and to the point in your answers; focus primarily on
the what and how, not so much on the why. Add longer descriptions as
Simple-V Vectorisation has some extremely unusual data manipulation properties that negate the need for such heavy optimisation. We would like to explore this in-depth, for example examining Galois Field arithmetic, the basis of Elliptic Curve, AES, Error-correction algorithms and more, at the fundamental mathematical level and providing Vector Matrix Multiply and other abstractions, the combination of which lead to auditors to be able to see extremely clearly and quickly what the relationship is between the math and the actual implementation in hardware. The focus will be on investigation and implementation of cryptographic primitives for use in Blockchain, OpenSSL, on keeping the implementation simple and leveraging Formal Correctness Proofs to verify them.
-The target worked example will be not to simply put this into an FPGA but to put together a 130nm ASIC under the Google Skywater Open PDK ASIC Programme, as a proof-of-concept Gigabit Router chip capable of securely handling network traffic and, having the underlying cryptographic primitives in place, being the basis of peer networking and blockchain applications which can be trusted with thode tasks by its full HDL and source code being publicly available for independent review.
+The target worked example will be not to simply put this into an FPGA but to put together a 130nm ASIC under the Google Skywater Open PDK ASIC Programme, as a proof-of-concept Gigabit Router chip capable of securely handling network traffic and, having the underlying cryptographic primitives in place, being the basis of peer networking and blockchain applications which can be trusted with those tasks by its full HDL and source code being publicly available for independent review.
Ultimately we want a demonstration ASIC of an independently-auditable hardware implementation which can be trusted by end-users.
* Provided Formal Correctness proofs for all OpenPOWER pipelines implemented so far
* Implemented a parameteriseable IEEE754 HDL library including SQRT, RSQRT and CORDIC pipelines and run several hundred thousand unit tests.
* Implemented a "data primitives" library called nmutil which provides the basis of reconfigurable pipelines suitable for Reservation Stations in OoO microarchitectures
-* Started a dynamically-reconfigureable SIMD arithmetic HDL class that transparently computes parallel results but has an API as if it were a singke Signal, to nmigen
+* Started a dynamically-reconfigureable SIMD arithmetic HDL class that transparently computes parallel results but has an API as if it were a single Signal, to nmigen
These are all spin-off resulting from the overall NLnet funding to complete the creation of a hybrid 3D GPU and VPU.
# Explain what the requested budget will be used for?
* Detailed review and documentation of the analysis of cryptographic hashing and encryption algorithms used in cryptonote and other blockchain technologies to ascertain the fundamental principles and mathematical primitives
- - So far the list includes Rijndael (AES), SHA2, Graestl, Blake256, Chacga8, Keccac and more
+ - So far the list includes Rijndael (AES), SHA2, Graestl, Blake256, Chacga8, Keccak and more
- From Asymmetric Cryptography comes RSA, DSA, Diffie-Helmann
and Elliptic Curve
- From these it is clear that the primitives involve Matrix Multiply
projects / libreriscv.git / blobdiff