Sopia. Tästä syystä kiinnitämme niin paljon huomiota järjestelmiin, jotka: 1. Käytä symmetriakryptografiaa vääristymiseen; 2. Todista piirin oikeellisuus ZKP:llä (ZKP on paljon kypsä, koska monet projektit ovat käynnistäneet zkRollup- ja zkVM-pohjaisen todistusverkon). Varmasti C&C on yksinkertainen, mutta viestintäkustannukset ovat erittäin suuret. Todennettu vääristyminen ei ehkä pysty integroitumaan suoraan useimpiin edistyneisiin puolirehellisiin piirivääristysjärjestelmiin (eikä myöskään sovellu BitVM-tapaukseen) Aritmeettisesta vääristelystä puhuttaessa se ei ole uusi tarina, alun perin Boolen piiristä, mutta tehokkaampi monimutkaisessa aritmeettisessa laskennassa. Joillekin muille vääristymissuunnille, kuten uudelleenkäytettävälle vääristyneelle piirille, joka perustuu hilasalaukseen RLWE:llä tai moduuli-LWE-kovuusoletuksella, se on hieman akateeminen.