Fun fact: co-snarks are obtained from reversing the arrows on normal snarks

applied crypto, security, experimental things. head of research @__geometry__, puzzler @__zkhack__, producing blocks @zkvalidator, cryptography @cLabs

Cohomology on Wikipedia is described as “The axioms for a generalized cohomology theory are obtained by reversing the arrows, roughly speaking.”, so it fits co-snarks :)

But not really because co is collaborative, so it’s a silly joke

Oblivious snarks are so oblivious, they encrypt the arrows and prove they’re reversed—without ever realizing they were arrows in the first place. 🕶️🔒↔️

Tough game!!

/zk channel would like this.