Bulletproofs: Range Proof Verification at Logarithmic Scale
Bulletproofs cut Monero range proof sizes from ~13 KB to under 800 bytes. The mechanism is a recursive inner product argument, and the math holds up.
№ 002SecurityPedersen Commitments and Confidential Transactions Explained
Pedersen commitments hide transaction amounts while letting anyone verify no coins were created from nothing. The exact mechanism, step by step.