De flesta människor klantar till det när de skriver kryptografi, zk lanuages som Noir, Kairo, etc löser det. Skriv bara din programvara, plugin till verktygen, bevisa, verifiera, kalla det en dag :)