nova as in folding schemes (https://github.com/microsoft/Nova)

was just chatting with someone abt how overhyped it was for a hot second. Even ‘gigabrains’ follow trends

They’re still relevant in client-side proving. Aztec is using protogalaxy for their rollup

Not sure about docs but this informal session by @zac-aztec in Istanbul was super useful in understanding the tradeoffs
https://youtu.be/txncMQN_pNA

Then there's also the code which is being implemented here:
https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg/cpp/src/barretenberg/protogalaxy

didn’t know that! Is there  talk/docs abt this somewhere?