Všichni se shodují, že ZK-STARK jsou špičkové pro tvorbu blockchainů. To však nebylo vždy tak a je dobře, že se to stalo konsenzem. Co zatím není shoda a předpokládám, že se tak stane: pokud váš řetězec spoléhá na ZK-tech, programovací jazyk a VM by měly být optimalizovány pro ZK. Program napsaný v jazyce přátelském k ZK (např. Cairo) může být plynule zpracován ZK založeným VM. Pokud je to napsané v PL, který není optimalizovaný pro ZK (například Solidity), budete muset projít několika obcházetkami, než to zkVM zpracuje. Tyto obcházení znamenají, že (1) ztrácíte přesnost a efektivitu a (2) můžete dokonce riskovat chyby. Potřebujete ten správný nástroj pro práci se ZK.