Lightweight Verifiable Computation with Constant-Size Proofs for Sequential State Transitions
यह शोध पत्र अनुक्रमिक अवस्था परिवर्तनों (sequential state transitions) के लिए एक हल्का, अपडेट करने योग्य सत्यापन योग्य गणना (verifiable computation) तंत्र प्रस्तुत करता है जो एक रैखिक रूप से अपडेट करने योग्य क्वाड्रेटिक अरिथमेटिक प्रोग्राम फैमिली का उपयोग करता है ताकि Groth16 और Nova जैसी मौजूदा विधियों की तुलना में काफी तेज़ प्रमाणन (proving) और सत्यापन समय के साथ 160-बाइट के स्थिर-आकार के प्रमाण उत्पन्न किए जा सकें।