⚛️ quantum physics

Simulating magic state cultivation with few Clifford terms

यह शोध पत्र लगभग आठ क्लिफोर्ड ZX-आरेख (Clifford ZX-diagrams) के योग का उपयोग करके नॉन-क्लिफोर्ड मैजिक स्टेट कल्टिवेशन सर्किट (non-Clifford magic state cultivation circuits) को सिम्युलेट करने की एक विधि प्रस्तुत करता है, जो पारंपरिक स्टेबलाइजर अपघटन (stabilizer decompositions) की तुलना में पद गणना (term count) में $7 \times 10^5$ से अधिक की कमी लाता है और मानक हार्डवेयर पर ऑपरेशनल रूप से प्रासंगिक क्वांटम सर्किट के उच्च-गति सिमुलेशन को सक्षम बनाता है।

मूल लेखक: Kwok Ho Wan, Zhenghao Zhong, Ainhoa Zapirain

प्रकाशित 2026-06-15

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Kwok Ho Wan, Zhenghao Zhong, Ainhoa Zapirain

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

यहाँ एक सरल भाषा और रोज़मर्रा के उदाहरणों का उपयोग करके शोध पत्र (paper) की व्याख्या दी गई है।

बड़ी तस्वीर: एक "जादुई" सामग्री उगाना

कल्पना कीजिए कि आप एक बहुत ही विशेष, हाई-टेक केक (एक क्वांटम कंप्यूटर) बनाने की कोशिश कर रहे हैं। इस केक को काम करने लायक बनाने के लिए, आपको एक दुर्लभ, जादुई सामग्री की आवश्यकता है जिसे "मैजिक स्टेट" (Magic State) कहा जाता है।

क्वांटम कंप्यूटिंग की दुनिया में, अधिकांश सामग्रियाँ संभालना आसान होता है (जिन्हें "क्लिफोर्ड" गेट्स कहा जाता है)। लेकिन "मैजिक स्टेट" पेचीदा है; यह एक अस्थिर मसाले की तरह है जो पूरे नुस्खे को असुरक्षित बना सकता है यदि आप सावधान नहीं हैं। एक उच्च गुणवत्ता वाला मैजिक स्टेट प्राप्त करने के लिए, वैज्ञानिक "मैजिक स्टेट कल्टिवेशन" (Magic State Cultivation) नामक प्रक्रिया का उपयोग करते हैं। यह एक खेत की तरह है जहाँ वे इन नाजुक अवस्थाओं को एक सुरक्षात्मक ग्रीनहाउस (एक क्वांटम एरर-करेक्टिंग कोड) के भीतर उगाते हैं।

समस्या: नुस्खा बहुत जटिल है

समस्या यह है कि इन मैजिक स्टेट्स को उगाने का नुस्खा अविश्वसनीय रूप से जटिल है।

पुराना तरीका: इस नुस्खे का परीक्षण (सिमुलेट) करने के लिए, वैज्ञानिकों को पहले इस पेचीदा "मैजिक" मसाले को एक सरल, नकली मसाले (जिसे "S गेट" कहा जाता है) से बदलना पड़ता था। यह एक केक के नुस्खे का परीक्षण करने के लिए असली वैनिला को वैनिला एक्सट्रैक्ट से बदलने जैसा था। यह तेज़ तो है, लेकिन यह आपको यह नहीं बताता कि असली वैनिला वास्तव में काम करेगा या केक को खराब कर देगा।
असली तरीका: यदि आप असली मैजिक मसाले के साथ असली नुस्खे को चलाने की कोशिश करते हैं, तो गणित अनियंत्रित हो जाता है। पेपर कहता है कि इस फार्म के एक विशिष्ट आकार (जिसे $d=5$ कहा जाता है) के लिए, एक पारंपरिक विधि को हर एक प्रयास के लिए 6.3 मिलियन अलग-अलग परिदृश्यों की गणना करने की आवश्यकता होगी। यह इतना धीमा है कि सबसे शक्तिशाली सुपरकंप्यूटर भी इसे जल्दी से नहीं कर सकते।

समाधान: एक स्मार्ट शॉर्टकट

लेखकों ने सटीकता खोए बिना गणित को सरल बनाने का एक चतुर तरीका खोजा है। उन्होंने "स्टेबलाइज़र डीकंपोजिशन" (Stabiliser Decomposition) को "कटिंग" (Cutting) के साथ मिलाकर एक तकनीक का उपयोग किया।

उनका यह शॉर्टकट कैसे काम करता है, यहाँ एक उपमा (analogy) दी गई है:

1. "मैजिक कैट" (Magic Cat) की उपमा
कल्पना कीजिए कि जटिल नुस्खा ऊन का एक विशाल, उलझा हुआ गोला है।

पुराना तरीका: आप एक बार में पूरे गोले को सुलझाने की कोशिश करते हैं। इसमें बहुत समय लगता है।
नया तरीका: लेखकों ने महसूस किया कि यह विशाल गोला वास्तव में छोटे, सरल गोलों (जिन्हें "मैजिक कैट स्टेट्स" कहा जाता है) से बना है। पूरे गोले को सुलझाने के बजाय, वे इस विशाल गोले को बस कुछ छोटे, प्रबंधनीय टुकड़ों में तोड़ सकते हैं।

2. "कटिंग" (Cutting) तकनीक
वे "स्पाइडर कटिंग" (उनके रेखाचित्रों में मकड़ी जैसे आकारों के नाम पर) नामक विधि का उपयोग करते हैं। कल्पना कीजिए कि आपके पास एक जटिल जाल है। पूरे जाल को हल करने के बजाय, आप सावधानी से कुछ विशिष्ट धागों को काट देते हैं।

जब आप एक धागा काटते हैं, तो जाल दो सरल जालों में विभाजित हो जाता है।
लेखकों ने पाया कि उनके विशिष्ट "मैजिक स्टेट" फार्म के लिए, उन्हें केवल कुछ ही कट लगाने की आवश्यकता थी ताकि असंभव समस्या को केवल 8 सरल परिदृश्यों (औसतन) के योग में बदला जा सके।

परिणाम: तेज़ और सटीक

इस "कटिंग" विधि का उपयोग करके, लेखकों ने दो बड़ी चीजें हासिल कीं:

काम में भारी कमी: 6.3 मिलियन परिदृश्यों को सिम्युलेट करने के बजाय, उन्हें केवल लगभग 8 को सिम्युलेट करने की आवश्यकता थी। यह 700,000 गुना से अधिक की कमी है।
वास्तविक दुनिया की गति: उन्होंने इसका परीक्षण एक मानक लैपटॉप (Apple MacBook Pro) पर किया।
- वे प्रति सेकंड 4 मिलियन प्रयास सिम्युलेट कर सके।
- यह लगभग "नकली मसाले" (केवल क्लिफोर्ड) वाले सिमुलेशन जितना ही तेज़ है, जो गति के मामले में गोल्ड स्टैंडर्ड है।
- महत्वपूर्ण बात यह है कि उनके तरीके ने असली मैजिक मसाले का उपयोग किया, इसलिए परिणाम वास्तव में सटीक हैं, न कि केवल एक अनुमान।

यह क्यों मायने रखता है

इस पेपर से पहले, यदि आप जानना चाहते थे कि क्या एक मैजिक स्टेट फार्म वास्तविक दुनिया में काम करेगा, तो आपके पास दो विकल्प थे:

एक नकली संस्करण का उपयोग करना (तेज़, लेकिन गलत)।
वास्तविक संस्करण की गणना करने का प्रयास करना (सटीक, लेकिन असंभव रूप से धीमा)।

यह पेपर साबित करता है कि आप एक साधारण लैपटॉप पर उच्च गति से वास्तविक गणना कर सकते हैं। उन्होंने "एस्केप स्टेज" (उगे हुए मैजिक स्टेट को एक बड़े कंप्यूटर में डालना) को सफलतापूर्वक सिम्युलेट किया, जिसमें सिस्टम में रैंडम त्रुटियों (शोर/noise) को ध्यान में रखते हुए भी केवल लगभग 8 सरल गणितीय पदों को ट्रैक किया गया।

सारांश

लेखकों ने क्वांटम कंप्यूटिंग की एक ऐसी समस्या ली जिसे हल करना बहुत बड़ा था और उन्होंने इसे छोटे, आसान टुकड़ों में तोड़ने का तरीका खोजा। उन्होंने दिखाया कि आप इन जटिल "मैजिक स्टेट" फार्म्स को अविश्वसनीय गति और पूर्ण सटीकता के साथ एक लैपटॉप पर सिम्युलेट कर सकते हैं, जिससे यह साबित होता है कि इन प्रणालियों को बनाना और टेस्ट करना पहले की तुलना में बहुत अधिक व्यवहार्य है।

तकनीकी सारांश: कम क्लिफोर्ड पदों के साथ मैजिक स्टेट कल्टिवेशन का अनुकरण (Simulating Magic State Cultivation with Few Clifford Terms)

समस्या विवरण (Problem Statement)

क्लिफोर्ड + T गेट सेट का उपयोग करने वाला फॉल्ट-टोलरेंट क्वांटम कंप्यूटेशन उच्च-फिडेलिटी लॉजिकल मैजिक स्टेट्स ( $|\bar{T}\rangle$ ) के लिए उच्च सटीकता की आवश्यकता रखता है ताकि नॉन-क्लिफोर्ड $\bar{T}$ गेट्स को लागू किया जा सके। जबकि मैजिक स्टेट डिस्टिलेशन (magic state distillation) एक मानक दृष्टिकोण है, इसमें महत्वपूर्ण स्पेसटाइम ओवरहेड होता है। हाल ही में, मैजिक स्टेट कल्टिवेशन (magic state cultivation) को एक अधिक कुशल विकल्प के रूप में प्रस्तावित किया गया है, जो एक 2D कलर कोड के भीतर एक एकल $|\bar{T}\rangle$ स्टेट को बहुत कम लागत पर विकसित करता है।

हालाँकि, इन कल्टिवेशन सर्किट्स का क्लासिकली सिमुलेशन करना उनके उच्च T-काउंट (जैसे, $d=5$ सर्किट के लिए 53 नॉन-क्लिफोर्ड गेट्स) के कारण कम्प्यूटेशनल रूप से निषेध योग्य (prohibitive) है। इन सर्किट्स का बेंचमार्क करने के पिछले प्रयासों में $T(T^\dagger)$ गेट्स को $S(S^\dagger)$ गेट्स (क्लिफोर्ड प्रॉक्सी) से बदलने पर निर्भरता रही है। लेखक नोट करते हैं कि यह प्रतिस्थापन ब्रूट-फोर्स स्टेट वेक्टर सिमुलेशन की तुलना में लॉजिकल एरर रेट (LER) में एक महत्वपूर्ण विसंगति ( $\approx 2\times$ ) पेश करता है, जो मोंटे कार्लो एरर सैंपलिंग के साथ संगत रहते हुए नॉन-क्लिफोर्ड गेट्स को सटीक रूप से संभालने वाली सिमुलेशन तकनीकों की आवश्यकता को रेखांकित करता है।

कार्यप्रणाली (Methodology)

यह शोध पत्र $d=3$ और $d=5$ मैजिक स्टेट कल्टिवेशन सर्किट्स का अनुकरण करने के लिए नॉन-क्लिफोर्ड ZX-डायग्राम को क्लिफोर्ड ZX-डायग्राम के योग में विघटित करने की विधियों का एक समूह प्रस्तुत करता है। यह दृष्टिकोण कई प्रमुख तकनीकों को एकीकृत करता है:

ZX-कैलकुलस के माध्यम से स्टेबलाइजर डीकंपोजिशन (Stabiliser Decomposition via ZX-Calculus):
- कटिंग डीकंपोजिशन (Cutting Decomposition): प्राथमिक विधि में "स्पाइडर कटिंग" शामिल है, जहाँ नॉन-क्लिफोर्ड स्पाइडर्स (फेज $\pi/4$ या $7\pi/4$ ) को क्लिफोर्ड डायग्राम के योग में विघटित किया जाता है।
- द्वितीयक डीकंपोजिशन (Secondary Decompositions): जब केवल कटिंग से अवशेषी (residual) नॉन-क्लिफोर्ड पद रह जाते हैं, तो लेखक द्वितीयक डीकंपोजिशन का उपयोग करते हैं। वे मैजिक कैट स्टेट (Magic Cat State) डीकंपोजिशन (विस्तार $|T\rangle^{\otimes m}$ ) और ब्रावी-स्मिथ-स्मोलिन (BSS) डीकंपोजिशन (छह $T$ -स्टेट्स को सात स्टेबलाइजर पदों के रूप में व्यक्त करना) की तुलना करते हैं।
- अनुकूलन (Optimization): पाइपलाइन क्लिफोर्ड पदों की संख्या को कम करने के लिए कट के बीच full_reduce सरलीकरण (स्पाइडर फ्यूजन, आइडेंटिटी रिमूवल) का उपयोग करती है।
शोर और पोस्ट-सिलेक्शन को संभालना (Handling Noise and Post-Selection):
- पॉली एरर मॉडलिंग (Pauli Error Modeling): सिमुलेशन ZX-डायग्राम के प्रत्येक किनारे (edge) पर डिपोलराइजिंग नॉइज़ लागू करता है।
- क्लोज्ड पॉली वेब्स (Closed Pauli Webs): पोस्ट-सिलेक्शन को कुशलतापूर्वक संभालने के लिए, लेखक सर्किट के भीतर "क्लोज्ड पॉली वेब्स" (डिटेक्टिंग रीजन) की पहचान करते हैं। यदि कोई क्लोज्ड पॉली वेब $-1$ पैरिटी देता है, तो एक शॉट को खारिज कर दिया जाता है। यह महंगे स्टेबलाइजर डीकंपोजिशन करने से पहले अमान्य एरर रियलाइजेशन को फ़िल्टर करने की अनुमति देता है।
- रैंडमाइज्ड मेजरमेंट्स (Randomised Measurements): यह विधि उन परिदृशस्यों को समायोजित करती है जहाँ माप परिणाम (measurement outcomes) सख्ती से $+1$ नहीं होते हैं, बशर्ते कि सिंड्रोम (डिटेक्टिंग रीजन की पैरिटी) वैध रहे।
संख्यात्मक पाइपलाइन और त्वरण (Numerical Pipeline and Acceleration - $d=3$ के लिए):
- पैरामीट्रिक ZX-डायग्राम (Parametric ZX-Diagrams): सर्किट को एक पैरामीट्रिक ग्राफ के रूप में दर्शाया गया है जहाँ शोर के परिणाम और अपरिभाषित आउटपुट बाइनरी वेरिएबल्स ( $f$ और $m$ पैरामीटर) हैं।
- सब-कंपोनेंट फैक्टराइजेशन (Sub-Component Factorisation): डीकंपोजिशन के बाद, ग्राफ स्वतंत्र सब-कंपोनेंट्स में विभाजित हो जाता है, जिससे कुल एम्प्लीट्यूड की गणना सब-कंपोनेंट एम्प्लीट्यूड के उत्पाद के रूप में की जा सकती है।
- BLAS-त्वरित मूल्यांकन (BLAS-Accelerated Evaluation): टर्म इवैल्यूएशन के लिए आवश्यक बाइनरी रो सम (row sums) को CPU पर मैट्रिक्स मल्टीप्लिकेशन (BLAS) के माध्यम से कंप्यूट किया जाता है।
- स्पार्स ज्योमेट्रिक सैंपलिंग (Sparse Geometric Sampling): हर शॉट के लिए हर चैनल को सैंपल करने के बजाय, पाइपलाइन केवल नॉन-आइडेंटिटी ("फायर") इवेंट्स उत्पन्न करने के लिए ज्योमेट्रिक स्किप सैंपलिंग का उपयोग करती है, जिससे रैंडम नंबर जनरेशन ओवरहेड काफी कम हो जाता है।
- डीडुप्लिकेशन (Deduplication): एक पर्सिस्टेंट क्रॉस-बैच कैश अद्वितीय शोर पैटर्न के परिणामों को स्टोर करता है, जिससे समान एरर कॉन्फ़िगरेशन के रेडंडेंट इवैल्यूएशन से बचा जा सके।
- JIT कंपाइलेशन (JIT Compilation): पूरी पाइपलाइन को JAX का उपयोग करके कंपाइल किया गया है, जो पायथन ओवरहेड को समाप्त करता है और स्टैटिक XLA कंप्यूटेशन ग्राफ को सक्षम बनाता है।

मुख्य योगदान (Key Contributions)

1. टर्म काउंट का विश्लेषणात्मक न्यूनीकरण (Analytical Reduction of Term Count)

लेखक प्रदर्शित करते हैं कि $d=5$ मैजिक स्टेट कल्टिवेशन सर्किट, जिसे स्वाभाविक रूप से 53 नॉन-क्लिफोर्ड स्पाइडर्स को डीकंपोजिट करने की आवश्यकता होती है (मैजिक कैट डीकंपोजिशन के माध्यम से $\approx 6.4 \times 10^6$ टर्म्स), परिचालन संबंधी प्रासंगिक शोर स्तरों ( $10^{-4}$ से $10^{-3}$ ) पर $\approx 8$ क्लिफोर्ड ZX-डायग्राम्स के योग के रूप में दर्शाया जा सकता है।

यह सभी नॉन-क्लिफोर्ड स्पाइडर्स के पूर्ण स्टेबलाइजर डीकंपोजिशन की तुलना में $7 \times 10^5$ गुना से अधिक की कमी है।
यह विधि तब भी प्रभावी रहती है जब प्रत्येक किनारे पर पॉली एरर मौजूद होते हैं, बशर्ते कि एरर रेट ऑपरेशनल रिजीम के भीतर हो।

2. $d=3$ के लिए सटीक सिमुलेशन पाइपलाइन (Exact Simulation Pipeline for $d=3$ )

शोध पत्र $d=3$ के लिए एक पूर्ण संख्यात्मक पाइपलाइन प्रदान करता है जो उच्च थ्रूपुट के साथ सटीक नॉन-क्लिफोर्ड सिमुलेशन (कोई $T \to S$ प्रतिस्थापन नहीं) प्राप्त करता है:

थ्रूपुट (Throughput): त्वरित पाइपलाइन एक मानक लैपटॉप (Apple M4 Pro) पर $p = 5 \times 10^{-4}$ के भौतिक शोर स्तर पर $\sim 4 \times 10^6$ शॉट्स प्रति सेकंड प्राप्त करती है।
दक्षता (Efficiency): यह थ्रूपुट stim के माध्यम से किए गए पूर्ण क्लिफोर्ड प्रॉक्सी सिमुलेशन (S गेट्स का उपयोग करके) से केवल $\sim 1.1\times$ धीमा है।
सटीकता (Accuracy): पाइपलाइन पुष्टि करती है कि $p=10^{-3}$ पर $d=3$ सर्किट के लिए लॉजिकल एरर रेट $\sim 10^{-6}$ है, जो यह प्रमाणित करता है कि $T \to S$ प्रॉक्सी वास्तविक लॉजिकल एरर रेट को लगभग 2 के कारक से कम आंकता है।

3. पोस्ट-सिलेक्शन और शोर का एकीकरण (Integration of Post-Selection and Noise)

यह कार्य मैजिक स्टेट कल्टिवेशन के पोस्ट-सिलेक्शन आवश्यकताओं के साथ पॉली एरर्स को संभालने के एकीकरण को सफलतापूर्वक पूरा करता है। क्लोज्ड पॉली वेब्स का उपयोग करके एरर रियलाइजेशन को प्री-फ़िल्टर करके, सिमुलेशन उन टर्म्स के डीकंपोजिशन से बचता है जिन्हें अंततः खारिज कर दिया जाएगा, जिससे शोर की उपस्थिति में भी कम औसत टर्म काउंट ( $\approx 8$ ) बना रहता है।

परिणाम (Results)

टर्म काउंट स्थिरता (Term Count Stability): $d=5$ सर्किट के लिए, डीकंपोजिशन के लिए आवश्यक औसत क्लिफोर्ड टर्म्स की संख्या $10^{-4}$ से $10^{-3}$ तक के एरर रेट्स में लगभग 8 के करीब रहती है। हालांकि उच्च टर्म काउंट वाले दुर्लभ "आउटलियर" शॉट्स (432 तक) देखे गए, वे कम संभावना के साथ होते हैं और प्रदर्शन को महत्वपूर्ण रूप से प्रभावित नहीं करते हैं।
लॉजिकल एरर रेट (LER): $d=3$ सर्किट का सटीक सिमुलेशन $\sim p^3$ के रूप में स्केलिंग वाला LER देता है, जो डिस्टेंस-3 कोड के अनुरूप है। परिणाम दिखाते हैं कि $T$ -गेट LER, $S$ -गेट प्रॉक्सी LER की तुलना में लगभग 2 गुना अधिक है, जो सटीक नॉन-क्लिफोर्ड सिमुलेशन की आवश्यकता की पुष्टि करता है।
प्रदर्शन बेंचमार्क (Performance Benchmarks):
- $p = 5 \times 10^{-4}$ पर, त्वरित पाइपलाइन 4.1 मिलियन शॉट्स/सेकंड प्रोसेस करती है।
- $p = 10^{-3}$ पर, थ्रूपुट 2.78 मिलियन शॉट्स/सेकंड (गैर-त्वरित बेसलाइन से लगभग 30x तेज़) है।
- पोस्ट-सिलेक्शन दर (एक्सेप्टेंस रेशियो) शोर बढ़ने के साथ घटती है लेकिन सटीक $T$ -गेट सिमुलेशन और $S$ -गेट प्रॉक्सी के बीच सुसंगत रहती है।

महत्व और दावे (Significance and Claims)

शोध पत्र का दावा है कि यह परिचालन रूप से प्रासंगिक शोर स्ट्रेंथ पर $d=3$ T-गेट कल्टिवेशन सर्किट के लिए पहला सटीक (नॉन-क्लिफोर्ड-प्रॉक्सी) मोंटे कार्लो अनुमान प्रदान करता है।

उच्च T-काउंट वाले सर्किट्स की सिमुलेबिलिटी: परिणाम बताते हैं कि विशिष्ट आंतरिक संरचनाओं (जैसे मैजिक स्टेट कल्टिवेशन) वाले परिचालन रूप से प्रासंगिक, उच्च T-काउंट वाले क्वांटम सर्किट पहले की तुलना में कहीं अधिक सिमुलेबल हैं। "कटिंग डीकंपोजिशन" को ZX-कैलकुलस सरलीकरण के साथ मिलाने से नॉन-क्लिफोर्ड गेट्स की एक्सपोनेंशियल जटिलता एक प्रबंधनीय लीनियर ओवरहेड (एक छोटा स्थिर संख्या में टर्म्स) में बदल जाती है।
व्यावहारिक बेंचमार्किंग: महंगे GPU क्लस्टर्स या गलत गेट प्रतिस्थापनों के बिना सामान्य हार्डवेयर (लैपटॉप) पर इन सर्किट्स का सटीक रूप से सिमुलेशन करने की क्षमता, कल्टिवेशन प्रोटोकॉल के कठोर बेंचमार्किंग की अनुमति देती है।
भविष्य का दृष्टिकोण: लेखक नोट करते हैं कि जबकि $d=3$ का मामला पूरी तरह से संख्यात्मक रूप से हल हो गया है, $d=5$ या $d=7$ तक विस्तार करना एक खुला प्रश्न बना हुआ है, विशेष रूप से ग्राफ के आकार के स्केलेबिलिटी और "एस्केप स्टेज" (बड़े सर्किट्स में विकसित स्टेट को पोर्ट करना) के उपचार के संबंध में। हालाँकि, विश्लेषणात्मक साक्ष्य बताते हैं कि टर्म काउंट कम रहता है, जिससे भविष्य के अनुकूलन (जैसे GPU त्वरण) के साथ बड़े डिस्टेंस के पूर्ण संख्यात्मक सिमुलेशन की संभावना बनी रहती है।

कार्य यह निष्कर्ष निकालता है कि स्टेबलाइजर डीकंपोजिशन, ZX-कैलकुलस रीराइटिंग और आधुनिक संख्यात्मक अनुकूलन (JIT, BLAS, डीडुप्लिकेशन) का संयोजन मैजिक स्टेट कल्टिवेशन सर्किट्स का सटीक अनुकरण करने में सक्षम बनाता है, जो सैद्धांतिक फॉल्ट-टोलरेंस प्रस्तावों और व्यावहारिक क्लासिकल वेरिफिकेशन के बीच के अंतर को पाटता है।