`nazg`: Proving Ring Equalities Done Wrong

Violating classical consensus impossibility results with quantum

Formalizing "Categorical Composable Cryptography"

Automated Market Maker Monte Carlo w/ @EvanDaniel

Mechanism design to incentivize `mathlib` contribution

Efficient polynomial multiplication for mathlib

Optimal sampling for statistical democracy w/ Surya

TEE via physics/materials science w/ Sylvain

[James's system of equations for multichoice mechanism versions](https://manifold.markets/JamesGrugett/solve-these-equations-for-a-simpler#pcfde0bgc1)

I have a variety of ideas that live on my computer/in Overleaf files/GitHub repos with my collaborators. I would like to predict which ideas I will actually be able to turn into research.

These don't necessarily reflect titles. Rather they reflect ideas, some of which  might eventually be combined in some form with other ideas. Some of them are anonymized to avoid leaking ideas, feel free to DM if you are interested in hearing about details / betting on them for me / participating in the projects themselves.

Clarificatory note: I am not considering things I publish on my blog to be "published" in the sense of this market. For things on my blog by the end of 2025, see 