starkware-libs

Cairo सामान्य गणना के लिए सिद्ध करने योग्य प्रोग्राम बनाने के लिए पहली ट्यूरिंग-पूर्ण भाषा है।

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

StarkWare's next gen prover