> For AI agents: the documentation index is at https://docs.umbraprivacy.com/llms.txt, and every page is available as Markdown at its URL with .md appended.

# References (/docs/resources/references)

- **Groth16.** Jens Groth, *On the Size of Pairing-based Non-interactive Arguments*, EUROCRYPT 2016.
- **Poseidon.** Lorenzo Grassi, Dmitry Khovratovich, Christian Rechberger, Arnab Roy and Markus Schofnegger, *Poseidon: A New Hash Function for Zero-Knowledge Proof Systems*, USENIX Security 2021.
- **BLS signatures.** Dan Boneh, Ben Lynn and Hovav Shacham, *Short Signatures from the Weil Pairing*, ASIACRYPT 2001.
- **ML-KEM.** NIST FIPS 203, *Module-Lattice-Based Key-Encapsulation Mechanism Standard*, 2024.
- **ML-DSA.** NIST FIPS 204, *Module-Lattice-Based Digital Signature Standard*, 2024.
- **AES-GCM.** NIST SP 800-38D, *Recommendation for Block Cipher Modes of Operation: Galois/Counter Mode*.
- **HKDF.** RFC 5869, *HMAC-based Extract-and-Expand Key Derivation Function*.
- **Ed25519.** RFC 8032, *Edwards-Curve Digital Signature Algorithm*.
- **SLIP-0010.** SatoshiLabs, *Universal private key derivation from master private key*.
- **Shamir secret sharing.** Adi Shamir, *How to Share a Secret*, Communications of the ACM, 1979.
- **BabyJubJub.** EIP-2494, *Baby Jubjub Elliptic Curve*.
- **AWS Nitro Enclaves.** AWS documentation on Nitro Enclaves attestation.
- **QuorumOS.** Turnkey's QuorumOS documentation and whitepaper.
- **Circom.** The Circom language and circomlib documentation.
- **Lean 4.** The Lean theorem prover and Mathlib.
- **Kani.** The Kani Rust model checker.


Last updated 1 October 2026