OptionProbability
Grover Project w/ Or
[James's system of equations for multichoice mechanism versions](https://manifold.markets/JamesGrugett/solve-these-equations-for-a-simpler#pcfde0bgc1)
Formalizing "Categorical Composable Cryptography"
SNARK project w/ Sanjam
Data availability phase changes
`nazg`: Proving Ring Equalities Done Wrong
Post-quantum backdoorable VDFs
Iuvenes Project w/ Or
Mechanism design to incentivize `mathlib` contribution
Optimal sampling for statistical democracy w/ Surya
Formal Proof for Marlin w/ Pratyush
Eigenlayer Project w/ Or
NeRF the world
TEE via physics/materials science w/ Sylvain
Krugman's Interstellar trade redux
Solving Hanabi
Automated Market Maker Monte Carlo w/ @EvanDaniel
Quantum cowry shells
range saturation tactic
Mixing for slow traders
Homotopy theory DeFi
Violating classical consensus impossibility results with quantum
Poisson average-case TSP
Efficient polynomial multiplication for mathlib
Paradoxical hiding in ROM
100
66
25
24
23
22
21
20
19
18
17
16
15
14
13
