saymrwulf/dalek-ed25519-verified
1
0
Fork 0
mirror of https://github.com/saymrwulf/dalek-ed25519-verified.git synced 2026-09-04 20:24:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

coherence pass 1: TRUSTED-BASE scalar notes + both check-button docs

Browse source 
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
mrwulf 2026-07-02 23:58:29 +02:00
parent 5eeaaad74a
commit 2f9e80ada3
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
README.md
View file

@ -58,6 +58,14 @@ cd verification
./check.sh # compiles EVERY shipped file + axiom-audits EVERY certificate ./check.sh # compiles EVERY shipped file + axiom-audits EVERY certificate
``` ```
The scalar layer has its own pair of buttons:
```bash
./extract-scalar.sh # regenerates gen/CurveScalar (Scalar52 limb arithmetic)
./check-scalar.sh # compiles the scalar gen + the proven scalar foundation
```
## Trusted base ## Trusted base
See [TRUSTED-BASE.md](TRUSTED-BASE.md) for the complete list of assumptions See [TRUSTED-BASE.md](TRUSTED-BASE.md) for the complete list of assumptions