stark

RISC Zero, zk-STARKs और RISC-V माइक्रोआर्किटेक्चर पर आधारित एक ज़ीरो-नॉलेज वेरिफ़िएबल जनरल कंप्यूटिंग प्लेटफ़ॉर्म है।

जीरो-नॉलेज प्रूफ्स पर व्यापक ट्यूटोरियल। #zk #WIP

STARK-आधारित वर्चुअल मशीन।

cairo-vm, Cairo VM का एक Rust कार्यान्वयन है। Cairo (CPU Algebraic Intermediate Representation) एक प्रोग्रामिंग भाषा है जिसका उपयोग सिद्ध करने योग्य प्रोग्राम लिखने के लिए किया जाता है, जहाँ एक पक्ष दूसरे को यह साबित कर सकता है कि एक निश्चित गणना सही ढंग से निष्पादित की गई थी, बिना दूसरे पक्ष को वही प्रोग्राम फिर से चलाने की आवश्यकता के।