A paper on replacing Keccak grinding in MPC-in-the-head signatures with AES, then proving the constant factor isn't folklore.

Paper on amortizing prover work across many independently checked proofs, via multi-verifier Fiat-Shamir and local folding.

Lean proof now covers Zcash Ironwood’s shielded pool, so undetectable counterfeits are off the table, in theory.