Alle sind sich einig, dass ZK-STARKs erstklassig für den Aufbau von Blockchains sind. Das war nicht immer der Fall, und es ist gut, dass es Konsens geworden ist. Was noch kein Konsens ist und was ich vorhersage, dass es so werden wird: Wenn deine Kette auf ZK-Technologie angewiesen ist, sollte deine Programmiersprache und VM ZK-optimiert sein. Ein Programm, das in einer ZK-freundlichen Sprache (z. B. Cairo) geschrieben ist, kann reibungslos von einer ZK-basierten VM verarbeitet werden. Wenn es in einer PL geschrieben ist, die nicht für ZK optimiert ist (sagen wir, Solidity), dann musst du mehrere Umgehungen durchlaufen, bevor eine zkVM es verarbeiten kann. Diese Umgehungen bedeuten, dass (1) du Genauigkeit und Effizienz verlierst und (2) du sogar das Risiko von Bugs eingehen könntest. Du brauchst das richtige Werkzeug, um mit ZK zu arbeiten.