Visualising Estimates in org-mode Agenda
Decluttering busy agendas in ~100 sloc!
Про втому
Groth Sahai Proofs Are Not That Scary
Simplifying GS proofs together with Mary Maller, Dimitris Kolonelos, and Dmitry Khovratovich.
Зарисовка первого дня
Linear Relations on QAP Polynomials
ZK circuit inputs need a bit of care.
Reasoning About Privacy in Smart Contracts