Resources
References
The standards and papers behind the primitives Umbra uses.
- 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