Grover News

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

YES

YES

YES

YES

>10^-3 iterations/s

>10^0 iterations/s

>10^3 iterations/s

>10^6 iterations/s

>10^9 iterations/s

No quantum computer capable of running Grover iterations exists