🎙️Deze week chatten @AnnaRRose en @GuilleAngeris met @lacker over Acorn, een AI-gestuurde stellingbewijzer die het bewijsproces vereenvoudigt in vergelijking met tools zoals Lean die elke stap vereisen, en ook de belofte voor ZK-bewijzen en crypto-onderzoek.