Wszyscy zgadzają się, że ZK-STARKs są najwyższej klasy do budowania blockchainów. Tak nie zawsze było i dobrze, że stało się to konsensusem. To, co jeszcze nie jest konsensusem, a przewiduję, że nim będzie: jeśli twój łańcuch opiera się na technologii ZK, twój język programowania i VM powinny być zoptymalizowane pod kątem ZK. Program napisany w języku przyjaznym ZK (np. Cairo) może być płynnie przetwarzany przez VM oparty na ZK. Jeśli jest napisany w PL, który nie jest zoptymalizowany pod kątem ZK (powiedzmy, Solidity), wtedy będziesz musiał przejść przez kilka obejść, zanim zkVM będzie mogła to przetworzyć. Te obejścia oznaczają, że (1) tracisz dokładność i wydajność, a (2) możesz nawet ryzykować błędy. Potrzebujesz odpowiedniego narzędzia do pracy z ZK.