De fleste roter til når de skriver kryptografi, zk-språk som Noir, Kairo, etc løser det. Bare skriv programvaren din, plugg inn verktøyet, bevis, verifiser, kall det en dag :)