Większość ludzi popełnia błędy pisząc o kryptografii, języki zk takie jak Noir, Cairo itd. to rozwiązują. Po prostu napisz swoje oprogramowanie, podłącz je do narzędzi, udowodnij, zweryfikuj, i to wszystko :)