कस्टम zkVM और शून्य-ज्ञान बुनियादी ढांचा

संदर्भ

दायरे में एक ZK-native वर्चुअल मशीन, निष्पादन निशान, AIR प्रतिबंध, Plonky3-based STARK प्रूफ और वितरित सिस्टम घटक शामिल हैं।

समस्या या उद्देश्य

स्पष्ट सार्वजनिक-इनपुट, अवस्था, लेनदेन और सत्यापन सीमाओं के साथ सत्यापनीय-गणना और गोपनीयता-संरक्षी निष्पादन बुनियादी ढाँचे का विकास करें।

प्रदान किया गया दायरा

• Rust-आधारित सत्यापन-योग्य गणना
• निजता बनाए रखने वाला निष्पादन
• ZK-native आभासी मशीन
• निर्देश सेट वास्तुकला
• निष्पादन के निशान
• AIR बाधाएँ
• Plonky3-based STARK प्रमाण
• सार्वजनिक इनपुट बाध्यकारी
• सुदृढ़ता-केंद्रित सत्यापन तंत्र
• नियतात्मक अवस्था मशीन
• मर्केल प्रूफ
• लेनदेन कमिट और रोलबैक
• RPC
• libp2p
• GossipSub
• स्टेट स्टोरेज के तरीके

इंजीनियरिंग डोमेन

• Rust
• सत्यापनीय अभिकलन
• शून्य-ज्ञान बुनियादी ढांचा
• वितरित प्रणालियाँ
• स्टेट और लेनदेन डिज़ाइन

प्रतिनिधि आउटपुट

• ZK-native वर्चुअल मशीन बुनियादी ढांचा
• निष्पादन ट्रेस और AIR बाधाएँ
• सार्वजनिक इनपुट बाइंडिंग और सत्यापन तंत्र
• वितरित स्टेट और नेटवर्किंग घटक

इससे क्या पता चलता है

• सत्यापनीय-गणना इंजीनियरिंग
• गोपनीयता को संरक्षित करने वाले निष्पादन डिजाइन
• वितरित प्रणालियाँ और स्टेट-मशीन कार्य

दायरा और प्रकटीकरण

संबंधित BilgeQor सेवाएं