<r​ucknium:monero.social> kayabanerve: Could you make a table summarizing the status of all FCMP++ security proofs and reviews, with a column for who did them and a link to the documents? And rows for the TODO list, too? I guess I could make the table, but you are the FCMP++ research manager :)

<r​ucknium:monero.social> And the cost of each. We can figure out what's left in the budget.