“Finite Field Arithmetic” Regrind into Keccak-V Format.

The long-promised Keccak-V regrind of the current FFA codebase appears below:

Title
VPatch
Seal

“Chapter 1: Genesis.”
ffa_ch1_genesis.kv.vpatch
ffa_ch1_genesis.kv.vpatch.asciilifeform.sig

“Chapter 2: Logical and Bitwise Operations.”
ffa_ch2_logicals.kv.vpatch
ffa_ch2_logicals.kv.vpatch.asciilifeform.sig

“Chapter 3: Shifts.”
ffa_ch3_shifts.kv.vpatch
ffa_ch3_shifts.kv.vpatch.asciilifeform.sig

“Chapter 4: Interlude: FFACalc.”
ffa_ch4_ffacalc.kv.vpatch
ffa_ch4_ffacalc.kv.vpatch.asciilifeform.sig

“Chapter 5: “Egyptological” Multiplication and Division.”
ffa_ch5_egypt.kv.vpatch
ffa_ch5_egypt.kv.vpatch.asciilifeform.sig

Chapter 6: “Geological” RSA.
ffa_ch6_simplest_rsa.kv.vpatch
ffa_ch6_simplest_rsa.kv.vpatch.asciilifeform.sig

Chapter 7: “Turbo Egyptians.”
ffa_ch7_turbo_egyptians.kv.vpatch
ffa_ch7_turbo_egyptians.kv.vpatch.asciilifeform.sig

Chapter 8: Interlude: Randomism.
ffa_ch8_randomism.kv.vpatch
ffa_ch8_randomism.kv.vpatch.asciilifeform.sig

Chapter 9: “Exodus from Egypt” with Comba’s Algorithm.
ffa_ch9_exodus.kv.vpatch
ffa_ch9_exodus.kv.vpatch.asciilifeform.sig

Chapter 10: Introducing Karatsuba’s Multiplication.
ffa_ch10_karatsuba.kv.vpatch
ffa_ch10_karatsuba.kv.vpatch.asciilifeform.sig

Chapter 11: Tuning and Unified API.
ffa_ch11_tuning_and_api.kv.vpatch
ffa_ch11_tuning_and_api.kv.vpatch.asciilifeform.sig

These, and all [...]

Hypertext Concordance for “Finite Field Arithmetic.”

In addition to phf’s excellent vpatch viewer, there will now be a page, generated via gnathtml, to help the interested reader to explore the moving parts of FFA.

Click here to view Ch.11, with ffa_calc.adb as the root node.

All subsequent chapters will also be offered in this reader-friendly format, in addition to the usual raw vpatch [...]

UDP.

This is a simple library for Ada, to replace the asinine GNATSockets item.
Supported:

Unixlike OS back-end.
Open/close datagram socket on given local IP and port.
Transmit datagrams of fixed length.
Receive (blocking) datagrams of fixed length, rejecting shorts, saving the originator’s IP/port.
Handle all possible OS error conditions.

Permanently unsupported:

Microshit back-ends.
TCP.
IPv6.
DNS.

You will need:

GNAT.
udp_genesis.vpatch

udp_genesis.vpatch.asciilifeform.sig

udp_errata.asciilifeform.vpatch

udp_errata.asciilifeform.vpatch.asciilifeform.sig

Edit (9/27) : diana_coman graciously baked a Keccak-V regrind [...]

“Finite Field Arithmetic.” Chapter 11: Tuning and Unified API.

This article is part of a series of hands-on tutorials introducing FFA, or the Finite Field Arithmetic library. FFA differs from the typical “Open Sores” abomination, in that — rather than trusting the author blindly with their lives — prospective users are expected to read and fully understand every single line. In exactly the same [...]

“Finite Field Arithmetic.” Chapter 10: Introducing Karatsuba’s Multiplication.

This article is part of a series of hands-on tutorials introducing FFA, or the Finite Field Arithmetic library. FFA differs from the typical “Open Sores” abomination, in that — rather than trusting the author blindly with their lives — prospective users are expected to read and fully understand every single line. In exactly the same [...]

“Finite Field Arithmetic.” Chapter 9: “Exodus from Egypt” with Comba’s Algorithm.

This article is part of a series of hands-on tutorials introducing FFA, or the Finite Field Arithmetic library. FFA differs from the typical “Open Sores” abomination, in that — rather than trusting the author blindly with their lives — prospective users are expected to read and fully understand every single line. In exactly the same [...]

“Finite Field Arithmetic.” Chapter 8: Interlude: Randomism.

This article is part of a series of hands-on tutorials introducing FFA, or the Finite Field Arithmetic library. FFA differs from the typical “Open Sores” abomination, in that — rather than trusting the author blindly with their lives — prospective users are expected to read and fully understand every single line. In exactly the same [...]

“Finite Field Arithmetic.” Chapter 7: “Turbo Egyptians.”

This article is part of a series of hands-on tutorials introducing FFA, or the Finite Field Arithmetic library. FFA differs from the typical “Open Sores” abomination, in that — rather than trusting the author blindly with their lives — prospective users are expected to read and fully understand every single line. In exactly the same [...]

“Finite Field Arithmetic.” Chapter 6: “Geological” RSA.

This article is part of a series of hands-on tutorials introducing FFA, or the Finite Field Arithmetic library. FFA differs from the typical “Open Sores” abomination, in that — rather than trusting the author blindly with their lives — prospective users are expected to read and fully understand every single line. In exactly the same [...]

“Finite Field Arithmetic.” Chapter 5: “Egyptological” Multiplication and Division.

This article is part of a series of hands-on tutorials introducing FFA, or the Finite Field Arithmetic library. FFA differs from the typical “Open Sores” abomination, in that — rather than trusting the author blindly with their lives — prospective users are expected to read and fully understand every single line. In exactly the same [...]