In the section Properties guaranteed through interactive proofs, there are two links about proofs, functional-correctness and security proofs, that are not working:
- The corresponding sections need to be written.
Reported via internal communication channels, thanks @karthikbhargavan