Upload Code

Formally verifying SparsePostQuantumRatchet-verify upload submission - 08/05/2026, 04:04:01 PM

Documentation GitHub

323
Total Functions
236
Functions with Specs 73.1%
92
Fully Verified 28.5%
Verification Progress Contribute Function Status

Verification Progress

tracked (ceiling) verified + trusted verified in-progress (sorry/assume) unspecified (no spec)

Contribute

Want to contribute? Help formally verify SparsePostQuantumRatchet-verify upload submission - 08/05/2026, 04:04:01 PM. Click on the button to view remaining issues on GitHub.

View GitHub Issues

Function Status

This table shows the verification status of all functions in the project. Click on a function to see more details.

Total: 323 Extracted: 323 Verified: 92 Spec only: 0