A New Staking Primitive in Town
Verifier: Probabilistic, not Deterministic
RANDAO: Under the Hood
BLS Signatures: Under the Hood
A Mathematical Introduction to ZK Proofs
The Idea Behind ZKPs
Gasper : Under the Hood