Draft: Salsa20 (Galois Implementation) Markdown#202

Draft

WeeknightMVP wants to merge 7 commits intomasterfrom

Commits on Jun 2, 2022

Migrated relevant changes to new branch based on main

Matt Benke
authored and
Matt Benke
committed
Corrected typo in reference to `salsa20.saw`

Matt Benke
authored and
Matt Benke
committed
Add boilerplate to SAW Salsa20 (Galois) demo

Matt Benke
authored and
Matt Benke
committed
Added Salsa20 to the diagram
weaversa
committed
Added forward link from Bittwiddling to Salsa20 (Galois)

Matt Benke
authored and
Matt Benke
committed
Merge branch 'salsa20-galois' of github.com:weaversa/cryptol-course into salsa20-galois

Matt Benke
authored and
Matt Benke
committed
Corrections/clarifications

Matt Benke
authored and
Matt Benke
committed