2025-11-11T08:49:09.253291

"Show Me You Comply... Without Showing Me Anything": Zero-Knowledge Software Auditing for AI-Enabled Systems

Scaramuzza, Ferreira, Suller et al.
The increasing exploitation of Artificial Intelligence (AI) enabled systems in critical domains has made trustworthiness concerns a paramount showstopper, requiring verifiable accountability, often by regulation (e.g., the EU AI Act). Classical software verification and validation techniques, such as procedural audits, formal methods, or model documentation, are the mechanisms used to achieve this. However, these methods are either expensive or heavily manual and ill-suited for the opaque, "black box" nature of most AI models. An intractable conflict emerges: high auditability and verifiability are required by law, but such transparency conflicts with the need to protect assets being audited-e.g., confidential data and proprietary models-leading to weakened accountability. To address this challenge, this paper introduces ZKMLOps, a novel MLOps verification framework that operationalizes Zero-Knowledge Proofs (ZKPs)-cryptographic protocols allowing a prover to convince a verifier that a statement is true without revealing additional information-within Machine-Learning Operations lifecycles. By integrating ZKPs with established software engineering patterns, ZKMLOps provides a modular and repeatable process for generating verifiable cryptographic proof of compliance. We evaluate the framework's practicality through a study of regulatory compliance in financial risk auditing and assess feasibility through an empirical evaluation of top ZKP protocols, analyzing performance trade-offs for ML models of increasing complexity.
academic

"Show Me You Comply... Without Showing Me Anything": AI-सक्षम सिस्टम के लिए शून्य-ज्ञान सॉफ्टवेयर ऑडिटिंग

मूल जानकारी

  • पेपर ID: 2510.26576
  • शीर्षक: "Show Me You Comply... Without Showing Me Anything": AI-सक्षम सिस्टम के लिए शून्य-ज्ञान सॉफ्टवेयर ऑडिटिंग
  • लेखक: फिलिप्पो स्कारामुज़्ज़ा, रेनाटो कॉर्डेइरो फेरेरा, टोमाज़ माइया सुलर, जियोवन्नी क्वाट्रोक्की, डेमियन एंड्रयू तांबुरी, विल्हेम-जान वैन डेन ह्यूवेल
  • वर्गीकरण: cs.SE (सॉफ्टवेयर इंजीनियरिंग)
  • प्रस्तुति समय: 30 अक्टूबर 2025 को arXiv पर प्रस्तुत
  • पेपर लिंक: https://arxiv.org/abs/2510.26576

सारांश

कृत्रिम बुद्धिमत्ता प्रणालियों के महत्वपूर्ण क्षेत्रों में व्यापक अनुप्रयोग के साथ, विश्वसनीयता एक महत्वपूर्ण बाधा बन गई है, और नियामक आवश्यकताएं (जैसे यूरोपीय संघ की AI अधिनियम) सत्यापन योग्य जवाबदेही की मांग करती हैं। पारंपरिक सॉफ्टवेयर सत्यापन और पुष्टि तकनीकें (जैसे प्रोग्राम ऑडिटिंग, औपचारिक विधियाँ या मॉडल दस्तावेज़ीकरण) महंगी, बहुत अधिक मैनुअल ऑपरेशन पर निर्भर और AI मॉडल की "ब्लैक बॉक्स" प्रकृति के लिए अनुपयुक्त हैं। यह पेपर ZKMLOps फ्रेमवर्क प्रस्तावित करता है, जो मशीन लर्निंग ऑपरेशन जीवनचक्र में शून्य-ज्ञान प्रमाण (ZKPs) को एकीकृत करके ऑडिटिंग पारदर्शिता और संपत्ति सुरक्षा के बीच विरोधाभास को हल करता है, जो मॉड्यूलर और दोहराए जाने योग्य अनुपालन सत्यापन प्रक्रिया प्रदान करता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

मूल समस्या

यह अनुसंधान AI प्रणाली ऑडिटिंग में एक मौलिक संघर्ष को हल करता है: कानूनी आवश्यकताएं उच्च स्तर की ऑडिटेबिलिटी और सत्यापन योग्यता की मांग करती हैं, लेकिन यह पारदर्शिता ऑडिट की गई संपत्तियों (जैसे गोपनीय डेटा और मालिकाना मॉडल) की सुरक्षा की आवश्यकता के साथ टकराती है।

समस्या की महत्ता

  1. नियामक दबाव में वृद्धि: यूरोपीय संघ की AI अधिनियम जैसे नियम कई औद्योगिक AI परिनियोजन को उच्च जोखिम के रूप में वर्गीकृत करते हैं, जिसमें अनुपालन साक्ष्य प्रदान करना आवश्यक है
  2. महत्वपूर्ण क्षेत्रों में अनुप्रयोग: वित्त, चिकित्सा, परिवहन आदि सुरक्षा-महत्वपूर्ण क्षेत्रों में AI प्रणालियों का अनुप्रयोग लगातार बढ़ रहा है
  3. पारंपरिक ऑडिटिंग विधियाँ अनुपयुक्त: मौजूदा सॉफ्टवेयर सत्यापन तकनीकें लाखों पैरामीटर वाले अपारदर्शी AI मॉडल के लिए सीमित प्रभावी हैं

मौजूदा विधियों की सीमाएं

  1. प्रोग्राम ऑडिटिंग: महंगी और बहुत अधिक मैनुअल संचालन पर निर्भर
  2. औपचारिक विधियाँ: केवल तब प्रभावी होती हैं जब कार्यान्वयन तर्क स्पष्ट और निर्धारणीय मॉडलिंग के लिए उपयुक्त हो
  3. मॉडल दस्तावेज़ीकरण: AI मॉडल की "ब्लैक बॉक्स" प्रकृति को संभाल नहीं सकता
  4. पारदर्शिता संघर्ष: ऑडिटिंग के लिए आवश्यक कलाकृतियों का प्रकटीकरण बौद्धिक संपत्ति या व्यक्तिगत डेटा को लीक कर सकता है

अनुसंधान प्रेरणा

वोक्सवैगन उत्सर्जन घोटाले जैसी घटनाओं से प्रेरित होकर, लेखकों ने महसूस किया कि एक ऐसी विधि की आवश्यकता है जो संवेदनशील जानकारी का खुलासा किए बिना सत्यापन योग्य अनुपालन प्रमाण प्रदान कर सके। शून्य-ज्ञान प्रमाण तकनीक इस समस्या को हल करने की संभावना प्रदान करती है।

मूल योगदान

  1. ZKMLOps फ्रेमवर्क प्रस्ताव: MLOps जीवनचक्र में शून्य-ज्ञान प्रमाण को व्यवस्थित रूप से एकीकृत करने वाली पहली नई आर्किटेक्चर
  2. व्यावहारिकता सत्यापन: वित्तीय जोखिम ऑडिटिंग के नियामक अनुपालन उपयोग मामले के माध्यम से फ्रेमवर्क का वास्तविक अनुप्रयोग मूल्य प्रदर्शित करता है
  3. व्यवहार्यता मूल्यांकन: विभिन्न ZKP प्रोटोकॉल का अनुभवजन्य मूल्यांकन, विभिन्न जटिलता ML मॉडल के प्रदर्शन व्यापार-बंद का विश्लेषण
  4. इंजीनियरिंग कार्यान्वयन: जटिल क्रिप्टोग्राफिक प्रक्रियाओं को मॉड्यूलर, दोहराए जाने योग्य, रखरखाव योग्य इंजीनियरिंग प्रक्रियाओं में परिवर्तित करता है

विधि विवरण

कार्य परिभाषा

कार्य: MLOps जीवनचक्र में व्यवस्थित AI प्रणाली ऑडिटिंग को लागू करना, जो संगठनों को विशिष्ट आवश्यकताओं और नियमों के अनुपालन को साबित करने के लिए सत्यापन योग्य क्रिप्टोग्राफिक प्रमाण प्रदान करने में सक्षम बनाता है, जबकि मालिकाना जानकारी और संवेदनशील डेटा की सुरक्षा करता है।

इनपुट: AI मॉडल, डेटासेट, ऑडिटिंग आवश्यकताएं आउटपुट: शून्य-ज्ञान प्रमाण और सत्यापन परिणाम बाधाएं: बौद्धिक संपत्ति और डेटा गोपनीयता की सुरक्षा

मॉडल आर्किटेक्चर

समग्र आर्किटेक्चर डिज़ाइन

ZKMLOps फ्रेमवर्क षट्भुज आर्किटेक्चर (Hexagonal Architecture) अपनाता है, जो तीन मुख्य स्तरों में विभाजित है:

  1. पद्धति स्तर: ML प्रणाली सत्यापन जीवनचक्र मार्गदर्शन सिद्धांत (घटक 1-4)
  2. कार्यान्वयन स्तर: विश्वसनीय सेवा आर्किटेक्चर (घटक 5-8)
  3. हितधारक स्तर: विश्वास हितधारक इंटरफेस (घटक 9)

मुख्य घटक कार्यक्षमता

1. ML प्रणाली सत्यापन जीवनचक्र (घटक 1-4)

  • MLOps सत्यापन जीवनचक्र चयन: ऑडिटिंग उद्देश्य के आधार पर चार चरणों में से एक चुनें
    • डेटा और पूर्व-प्रसंस्करण सत्यापन
    • प्रशिक्षण और ऑफ़लाइन मेट्रिक्स सत्यापन
    • अनुमान सत्यापन
    • ऑनलाइन मेट्रिक्स सत्यापन
  • मॉडल चयन: परिनियोजित मॉडल की तकनीकी आवश्यकताओं के अनुसार सत्यापन तकनीक चुनें
  • प्रोटोकॉल चयन: अनुप्रयोग आर्किटेक्चर के लिए सबसे उपयुक्त ZKP प्रोटोकॉल चुनें
  • ZKP ट्रेसेबिलिटी विनिर्देश: ऑडिटिंग उद्देश्य, निर्णय ट्रैक और चयनित प्रोटोकॉल युक्त दस्तावेज़ उत्पन्न करें

2. विश्वसनीय सेवा आर्किटेक्चर (घटक 5-8)

  • षट्भुज आर्किटेक्चर कोर: ऑडिटिंग वर्कफ़्लो के व्यावसायिक तर्क को लागू करता है
  • कलाकृति भंडारण: ऑडिटिंग प्रक्रिया के दौरान इनपुट-आउटपुट कलाकृतियों को प्रबंधित करता है
  • ZKP स्क्रिप्ट: विभिन्न ZKP प्रोटोकॉल के विशिष्ट कार्यान्वयन को निष्पादित करता है
  • आंतरिक स्टेट मशीन: चार ZKP चरणों के निष्पादन को समन्वित करता है (सेटअप, कुंजी विनिमय, प्रमाण, सत्यापन)

तकनीकी कार्यान्वयन विवरण

स्टेट मशीन डिज़ाइन: ऑर्केस्ट्रेशन Saga पैटर्न और स्टेट पैटर्न का उपयोग करके, प्रत्येक ऑडिटिंग वर्कफ़्लो को चार मूल चरणों में विभाजित करता है:

Setup → Key Exchange → Proof → Verification

निर्भरता इंजेक्शन पैटर्न: कॉन्फ़िगरेशन फ़ाइल के माध्यम से रनटाइम पर आवश्यक अडैप्टर को इंजेक्ट करता है, कई ZKP प्रोटोकॉल के लचीले स्विचिंग का समर्थन करता है।

एंटी-करप्शन लेयर: बाहरी निर्भरताओं के अमूर्तता को लागू करने के लिए पोर्ट और अडैप्टर पैटर्न का उपयोग करता है, जिसमें शामिल हैं:

  • राउटर (इनबाउंड पोर्ट): REST API इंटरफेस
  • इंटरप्रेटर, कॉन्फ़िगरेशन, स्टोरेज (आउटबाउंड पोर्ट): स्क्रिप्ट निष्पादन और डेटा प्रबंधन

तकनीकी नवाचार बिंदु

  1. क्रिप्टोग्राफी और सॉफ्टवेयर इंजीनियरिंग का संलयन: पहली बार ZKP तकनीक को सॉफ्टवेयर इंजीनियरिंग जीवनचक्र में व्यवस्थित रूप से एकीकृत करता है
  2. मॉड्यूलर डिज़ाइन: आर्किटेक्चर पैटर्न के माध्यम से मूल ऑडिटिंग तर्क को विशिष्ट ZKP कार्यान्वयन से अलग करता है
  3. प्रोटोकॉल चयन निर्णय वृक्ष: ऑडिटिंग उद्देश्य, MLOps चरण और मॉडल प्रकार के आधार पर व्यवस्थित प्रोटोकॉल चयन विधि प्रदान करता है
  4. अतुल्यकालिक वर्कफ़्लो समर्थन: ऑडिटिंग परिदृश्यों में कम्प्यूटेशनल रूप से गहन प्रमाण पीढ़ी के अनुकूल

प्रयोग सेटअप

मूल्यांकन डेटा

ZKP प्रोटोकॉल तुलना:

  • ezkl: ONNX प्रारूप समर्थन, GPU त्वरण
  • SNARK: Circom के माध्यम से कार्यान्वयन
  • STARK: Cairo के माध्यम से कार्यान्वयन
  • GKR: तंत्रिका नेटवर्क के लिए विशेष रूप से अनुकूलित

परीक्षण मॉडल:

  • फीडफॉरवर्ड न्यूरल नेटवर्क (FNN)
  • छोटा कनवोल्यूशनल न्यूरल नेटवर्क (Small CNN)
  • MNIST CNN
  • LeNet5
  • VGG11 (केवल GKR)

मूल्यांकन मेट्रिक्स

  1. प्रमाण समय: शून्य-ज्ञान प्रमाण उत्पन्न करने के लिए आवश्यक समय
  2. सत्यापन समय: प्रमाण को सत्यापित करने के लिए आवश्यक समय
  3. प्रमाण आकार: उत्पन्न प्रमाण का भंडारण स्थान

प्रयोग पर्यावरण

  • हार्डवेयर: 8-कोर Intel Xeon E5-2698 v4 प्रोसेसर, 32GB RAM
  • ऑपरेटिंग सिस्टम: Ubuntu 22.04.4 LTS
  • सांख्यिकीय विधि: प्रत्येक प्रयोग स्थिति के लिए 10 बार यादृच्छिक आरंभीकरण के साथ चलाया गया, औसत की गणना की गई

उपयोग मामला सत्यापन

वित्तीय जोखिम मॉडल अनुपालन ऑडिटिंग:

  • परिदृश्य: वित्तीय संस्था ऑडिटिंग कंपनी को साबित करती है कि इसका क्रेडिट जोखिम स्कोर घोषित अनुमोदित मॉडल द्वारा उत्पन्न होता है
  • आवश्यकता: मालिकाना मॉडल पैरामीटर को उजागर किए बिना अनुमान सही होने को सत्यापित करना
  • प्रोटोकॉल चयन: ezkl (गैर-इंटरैक्टिव, पारदर्शी सेटअप, मानक प्रतिनिधित्व, संक्षिप्तता, क्वांटम सुरक्षा)

प्रयोग परिणाम

मुख्य परिणाम

फीडफॉरवर्ड न्यूरल नेटवर्क (FNN) प्रदर्शन तुलना:

प्रोटोकॉलप्रमाण समय(ms)सत्यापन समय(ms)प्रमाण आकार(bytes)
SNARK752555805.4
STARK314,998.112.11280,000
ezkl492.799.8023,958.9

LeNet5 प्रदर्शन तुलना:

प्रोटोकॉलप्रमाण समय(ms)सत्यापन समय(ms)प्रमाण आकार(bytes)
SNARK18,788.5611804.4
GKR331.9991.3145,718.75
ezkl65,678.21100.80767,120.3

मुख्य निष्कर्ष

  1. प्रोटोकॉल चयन की मॉडल निर्भरता: इष्टतम ZKP प्रोटोकॉल विशिष्ट ML मॉडल और प्रदर्शन मेट्रिक्स पर अत्यधिक निर्भर है
  2. स्पष्ट प्रदर्शन व्यापार-बंद:
    • ezkl सरल मॉडल पर सर्वश्रेष्ठ प्रदर्शन करता है
    • SNARK जटिल मॉडल पर प्रमाण पीढ़ी सबसे तेज़, प्रमाण आकार सबसे छोटा
    • GKR विशेष रूप से अनुकूलित मॉडल (LeNet5) पर उत्कृष्ट प्रदर्शन
  3. अतुल्यकालिक ऑडिटिंग प्रयोज्यता: ezkl का सत्यापन समय लाभ इसे अतुल्यकालिक ऑडिटिंग वर्कफ़्लो के लिए विशेष रूप से उपयुक्त बनाता है

व्यावहारिकता सत्यापन

वित्तीय उपयोग मामला वास्तविक नियामक वातावरण में फ्रेमवर्क के अनुप्रयोग को सफलतापूर्वक प्रदर्शित करता है:

  • ऑडिटिंग कंपनी को केवल कुंजी और प्रमाण को सत्यापित करने की आवश्यकता है
  • वित्तीय संस्था को कोई गोपनीय जानकारी का खुलासा करने की आवश्यकता नहीं है
  • पूरी प्रक्रिया सत्यापन योग्य और बौद्धिक संपत्ति की सुरक्षा करती है

संबंधित कार्य

शून्य-ज्ञान मशीन लर्निंग (ZKML) अनुसंधान

अनुमान सत्यापन: ZEN, vCNN, zkCNN आदि तंत्रिका नेटवर्क अनुमान के शून्य-ज्ञान प्रमाण पर केंद्रित प्रशिक्षण सत्यापन: हाल के कार्य प्रशिक्षण प्रक्रिया और ऑनलाइन मेट्रिक्स सत्यापन तक विस्तारित विश्वसनीय AI अनुप्रयोग: ZKAudit, FaaS आदि विशिष्ट विश्वसनीय AI परिदृश्यों के लिए

इस पेपर के सापेक्ष लाभ

  1. व्यवस्थित इंजीनियरिंग दृष्टिकोण: पहली बार पूर्ण MLOps एकीकरण फ्रेमवर्क प्रदान करता है, न कि एकल तकनीकी प्रदर्शन
  2. व्यावहारिकता-केंद्रित: वास्तविक उपयोग मामलों और प्रदर्शन मूल्यांकन के माध्यम से व्यवहार्यता साबित करता है
  3. मॉड्यूलर डिज़ाइन: कई ZKP प्रोटोकॉल के लचीले एकीकरण और विस्तार का समर्थन करता है

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. तकनीकी व्यवहार्यता: ZKP तकनीक को MLOps जीवनचक्र में प्रभावी रूप से एकीकृत किया जा सकता है, ऑडिटिंग पारदर्शिता और गोपनीयता सुरक्षा के संघर्ष को हल करता है
  2. इंजीनियरिंग मूल्य: सॉफ्टवेयर इंजीनियरिंग पैटर्न के अनुप्रयोग के माध्यम से, जटिल क्रिप्टोग्राफिक प्रक्रियाओं को रखरखाव योग्य इंजीनियरिंग प्रथाओं में परिवर्तित किया जा सकता है
  3. व्यावहारिकता सत्यापन: वित्तीय ऑडिटिंग उपयोग मामला वास्तविक नियामक वातावरण में फ्रेमवर्क की प्रयोज्यता साबित करता है

सीमाएं

  1. बाहरी वैधता: फ्रेमवर्क की अन्य नियामक क्षेत्रों (जैसे चिकित्सा, स्वायत्त ड्राइविंग) में प्रयोज्यता सत्यापन की प्रतीक्षा है
  2. मूल्यांकन सीमा: मुख्य रूप से अनुमान सत्यापन चरण पर केंद्रित, अन्य MLOps चरणों का मूल्यांकन अपेक्षाकृत सीमित है
  3. मॉडल स्केल: प्रयोग में उपयोग किए गए मॉडल अपेक्षाकृत छोटे हैं, बड़े मॉडल की प्रदर्शन विशेषताएं भिन्न हो सकती हैं
  4. प्रोटोकॉल परिपक्वता: देखे गए प्रदर्शन अंतर्निहित क्रिप्टोग्राफिक लाइब्रेरी की परिपक्वता को प्रतिबिंबित कर सकते हैं न कि सैद्धांतिक दक्षता को

भविष्य की दिशाएं

  1. वास्तविक वातावरण सत्यापन: औद्योगिक केस अध्ययन के माध्यम से फ्रेमवर्क के प्रदर्शन और स्केलेबिलिटी को सत्यापित करता है
  2. कार्यात्मक विस्तार: अन्य विश्वसनीय AI विशेषताओं की ऑडिटिंग वर्कफ़्लो को लागू करता है, जैसे डेटासेट निष्पक्षता, मॉडल मजबूती
  3. बड़े पैमाने पर मॉडल समर्थन: बड़े भाषा मॉडल जैसी जटिल AI प्रणालियों का समर्थन करने के लिए फ्रेमवर्क को अनुकूलित करता है

गहन मूल्यांकन

शक्तियां

  1. समस्या परिभाषा स्पष्ट: AI ऑडिटिंग में पारदर्शिता और गोपनीयता सुरक्षा के मौलिक संघर्ष को सटीक रूप से पहचानता है
  2. विधि नवाचार मजबूत: पहली बार ZKP तकनीक को MLOps में व्यवस्थित रूप से इंजीनियर किया गया अनुप्रयोग
  3. आर्किटेक्चर डिज़ाइन उत्कृष्ट: षट्भुज आर्किटेक्चर, स्टेट पैटर्न आदि सॉफ्टवेयर इंजीनियरिंग पैटर्न का उपयुक्त अनुप्रयोग
  4. प्रयोग डिज़ाइन व्यापक: सैद्धांतिक विश्लेषण और व्यावहारिक उपयोग मामले सत्यापन दोनों, प्रदर्शन मूल्यांकन और व्यवहार्यता तर्क दोनों
  5. व्यावहारिक मूल्य उच्च: वास्तविक नियामक आवश्यकताओं को हल करता है, सीधे अनुप्रयोग मूल्य है

कमियां

  1. मूल्यांकन सीमाएं: मुख्य रूप से अनुमान सत्यापन पर केंद्रित, प्रशिक्षण, डेटा पूर्व-प्रसंस्करण आदि चरणों का समर्थन अपर्याप्त है
  2. स्केलेबिलिटी प्रश्न: बड़े पैमाने पर औद्योगिक AI प्रणालियों की प्रयोज्यता को आगे सत्यापन की आवश्यकता है
  3. लागत विश्लेषण अनुपस्थित: विस्तृत कम्प्यूटेशनल लागत और आर्थिक लाभ विश्लेषण का अभाव
  4. सुरक्षा विचार: ZKP प्रोटोकॉल की सुरक्षा धारणाओं और संभावित हमले वेक्टर पर चर्चा पर्याप्त नहीं है

प्रभाव

  1. शैक्षणिक योगदान: MLOps क्षेत्र में नई अनुसंधान दिशा प्रस्तुत करता है, क्रिप्टोग्राफी और सॉफ्टवेयर इंजीनियरिंग के अंतःविषय संलयन को बढ़ावा देता है
  2. व्यावहारिक मूल्य: नियामक निकायों और उद्यमों को कार्यान्वयन योग्य अनुपालन सत्यापन समाधान प्रदान करता है
  3. तकनीकी प्रेरणा: अधिक व्यावहारिक अनुप्रयोग परिदृश्यों में ZKP तकनीक के अनुप्रयोग को बढ़ावा दे सकता है

प्रयोज्य परिदृश्य

  1. नियामक अनुपालन: वित्त, चिकित्सा आदि मजबूत नियामक उद्योगों में AI प्रणाली ऑडिटिंग
  2. बौद्धिक संपत्ति सुरक्षा: मॉडल प्रदर्शन को सत्यापित करने की आवश्यकता है लेकिन मॉडल विवरण को लीक नहीं कर सकते
  3. बहु-पक्ष सहयोग: संघीय शिक्षा जैसे योगदान को सत्यापित करने की आवश्यकता है लेकिन डेटा गोपनीयता की सुरक्षा करते हैं
  4. आपूर्ति श्रृंखला ऑडिटिंग: AI सेवा प्रदाता ग्राहकों को सेवा गुणवत्ता साबित करते हैं लेकिन कार्यान्वयन विवरण को उजागर नहीं करते

संदर्भ

पेपर 72 संबंधित संदर्भों का हवाला देता है, मुख्य रूप से शामिल हैं:

  • शून्य-ज्ञान प्रमाण मूल सिद्धांत (Goldreich, Blum आदि)
  • ZKML अनुप्रयोग अनुसंधान (ZEN, zkCNN, ZKAudit आदि)
  • सॉफ्टवेयर इंजीनियरिंग पैटर्न (Clean Architecture, Design Patterns आदि)
  • विश्वसनीय AI और MLOps संबंधित कार्य (Liu et al., Kreuzberger et al. आदि)

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