एसबीसी 22: ब्लॉकचैन 2022 के विज्ञान से फील्ड नोट्स

फ़ील्ड नोट्स एक श्रृंखला है जहां हम महत्वपूर्ण उद्योग, अनुसंधान और अन्य घटनाओं पर जमीन पर रिपोर्ट करते हैं। इस संस्करण में, a16z क्रिप्टो टीम के कुछ सदस्यों ने उपस्थिति में दिलचस्प वार्ता, कागजात, स्लाइड और बहुत कुछ का संग्रह किया। डेफी सुरक्षा शिखर सम्मेलन 2022 (अगस्त 27-28), ब्लॉकचेन सम्मेलन 2022 का विज्ञान उर्फ एसबीसी 22 (अगस्त 29-31), और विभिन्न संबद्ध कार्यशालाएं (अगस्त 28-सितंबर 2), जो सभी पिछले महीने स्टैनफोर्ड विश्वविद्यालय में हुई थीं।

1. ब्लॉकचेन सम्मेलन का विज्ञान 2022

RSI ब्लॉकचेन सम्मेलन का विज्ञान ब्लॉकचेन पारिस्थितिकी तंत्र में तकनीकी नवाचारों पर ध्यान केंद्रित करता है, और क्रिप्टोग्राफी, सुरक्षित कंप्यूटिंग, वितरित सिस्टम, विकेन्द्रीकृत प्रोटोकॉल विकास, औपचारिक तरीकों, अनुभवजन्य विश्लेषण, क्रिप्टो-अर्थशास्त्र, आर्थिक जोखिम विश्लेषण, और अधिक में अंतरिक्ष में काम करने वाले शोधकर्ताओं और चिकित्सकों को एक साथ लाता है। इस आयोजन की सह-अध्यक्षता स्टैनफोर्ड प्रोफेसर (और a16z क्रिप्टो वरिष्ठ शोध सलाहकार) डैन बोनेह; a16z क्रिप्टो रिसर्च के प्रमुख टिम रफगार्डन भी कार्यक्रम समिति में थे और हमने पाठकों के साथ साझा किए गए पेपर पर एक आमंत्रित वार्ता दी हमारे पिछले समाचार पत्र में.

यहां हमारी टीम के कुछ फील्ड नोट्स, लिंक, और SBC 22 के विषयों के साथ-साथ संबद्ध कार्यशालाओं के एक जोड़े का त्वरित मिश्रण है - जिसमें "सहमति का विज्ञान और इंजीनियरिंग" कार्यशाला (28 अगस्त) और दूसरा अधिकतम निकालने योग्य मूल्य पर शामिल है, या एमईवी (सितंबर 1) - किसी विशेष क्रम में नहीं:

• विभिन्न ब्लॉकचैन प्रोटोकॉल के विश्लेषण पर पेइयाओ शेंग, यह पता लगाना कि किसमें बेहतर फोरेंसिक समर्थन है जो सबूत के साथ एक सत्यापनकर्ता के दुर्व्यवहार का पता लगाने में मदद करता है (काग़ज़)
• प्रत्यूष मिश्रा की आर्कवर्क्स पर बात, zkSNARKs के लिए एक जंग पारिस्थितिकी तंत्र जो कई क्रिप्टो परियोजना कार्यान्वयन में व्यापक रूप से उपयोग किया जाता है (GitHub)
• नेटवर्क पर स्पैमिंग हमलों के दौरान बैंडविड्थ की भीड़ को कम करने के लिए सबसे लंबी श्रृंखला सर्वसम्मति में डाउनलोड नियम बदलने पर श्रीवत्सन श्रीधर (काग़ज़)
• अरी जुएल्स और महिमा केलकर की बातचीत लेन-देन के आदेश के प्रतिकूल छेड़छाड़ से बचाने के लिए, और निष्पक्ष लेनदेन आदेश को लागू करने के लिए एक योजना (कार्यशाला सार, काग़ज़)
• इथेरियम कोफाउंडर विटालिक ब्यूटिरिन - और जीवित रहने पर - 51% हमलों का जवाब देने पर (स्लाइड के साथ सहभागी ट्वीट)
• पीओएस चेन की सुरक्षा बढ़ाने के लिए बिटकॉइन हैश पावर के पुन: उपयोग पर डेविड त्से (काग़ज़)
• जॉन एडलर की जवाबदेही पर बात - इस मामले में, हमलावरों की पहचान करने और उन्हें दंडित करने की क्षमता - PoS सिस्टम में (कार्यशाला सार)
• एमईवी "डार्क फॉरेस्ट" के विकास पर फिल डायन, सामने की समस्या से सब कुछ कवर करता है सैद्धांतिक रूपरेखा, उसकी प्रारंभिक पहचान के लिए फ्लैश बॉयज 2.0 पेपर, एमईवी अनुसंधान संगठन फ्लैशबॉट्स के उद्भव के लिए, लेनदेन सेंसरशिप प्रतिरोध से संबंधित वर्तमान विचारों के लिए और लेनदेन बंडलों के लिए एक मजबूत बिल्डर और प्रस्तावक बाजार बनाने के बाद विलय (कार्यशाला सार / स्लाइड्स)
• A विषय: "असममित और व्यक्तिपरक विश्वास धारणाएं (सभी नोड्स समान रूप से भरोसेमंद नहीं हैं, सभी नोड्स समान रूप से भरोसा नहीं करते हैं) और दृश्य-आधारित प्रोटोकॉल (नोड्स स्थानीय रूप से राज्य के अपने दृष्टिकोण की व्याख्या करते हैं, और अंततः एक व्यू-मर्ज कैनोनिकल डीएजी उर्फ ​​निर्देशित एसाइक्लिक ग्राफ निर्धारित करता है, कांटा पसंद, आदि)" [एक संबंधित कागज]

प्रस्तुतियों को देखें: दिन 1, दिन 2, दिन 3

2. एप्लाइड जेडके वर्कशॉप (एसबीसी 22 का हिस्सा)

ब्लॉकचेन सम्मेलन के विज्ञान के लपेटे जाने के बाद, एप्लाइड जेडके कार्यशाला (सितंबर 2) शून्य ज्ञान (ZK) पारिस्थितिकी तंत्र में नवीनतम विकास पर सीखने और चर्चा के एक और दिन के लिए शोधकर्ताओं और डेवलपर्स को एक साथ लाया। स्पीकर ने नए सर्किट प्रिमिटिव और वर्चुअल मशीन (VM) आर्किटेक्चर से लेकर सत्यापन और ऑडिटिंग के माध्यम से सुरक्षा सुनिश्चित करने तक सब कुछ कवर किया।

ZK सिस्टम के लिए औपचारिक तरीके कार्यशाला के एजेंडे पर एक महत्वपूर्ण आइटम थे, जो एक प्रसिद्ध मुद्दे को हल करने पर केंद्रित थे: जब एक ZK सिस्टम तैनाती के बाद खराब हो जाता है, तो मूल कारण को ढूंढना और ठीक करना मुश्किल होता है। संकलन-समय पर ZK सिस्टम की शुद्धता को सत्यापित करना महत्वपूर्ण है, और औपचारिक सत्यापन एक बड़ी मदद हो सकती है। कई औपचारिक तरीके शोधकर्ता वर्तमान में इस समस्या पर काम कर रहे हैं, और कुछ ने अपने काम पर चर्चा की:

• जुनरुई लियू ने प्रस्तुत किया जारी काम औपचारिक रूप से सर्कम की कार्यात्मक शुद्धता की पुष्टि करने पर सर्किट पुस्तकालय एक प्रूफ सहायक Coq, और यू फेंग का उपयोग करना शुरू की पिकस, एक स्थिर विश्लेषण उपकरण जो किसी दिए गए R1CS सर्किट के लिए कुछ महत्वपूर्ण गुणों (जैसे, सर्किट विशिष्टता) को स्वचालित रूप से सत्यापित करता है
• एरिक मैकार्थी ने अपनी टीम के बारे में चर्चा की "पुष्टि करने"के लिए संकलक" सिंह राशितक संकलक जो स्वचालित रूप से शुद्धता का औपचारिक प्रमाण तैयार करता है, यह गारंटी देता है कि संकलित R1CS सर्किट स्रोत लियो प्रोग्राम के बराबर है

और घटना से अधिक हाइलाइट्स:

• यी सन और जोनाथन वांग ने बहु-स्केलर गुणन और एलिप्टिक कर्व डिजिटल सिग्नेचर एल्गोरिथम (ECDSA) हस्ताक्षर सत्यापन (पर उनके काम के लिए एक अनुवर्ती के रूप में) सहित प्रमुख अण्डाकार वक्र संचालन के अपने हेलो2 कार्यान्वयन को प्रस्तुत किया। अंडाकार वक्र जोड़ी सर्कम में); विशेष रूप से अच्छा: प्लॉनकिश सर्किट मैट्रिक्स के आकार को संशोधित करके प्राप्त विन्यास योग्य प्रोवर-सत्यापनकर्ता समय ट्रेडऑफ (एक व्यापक [लंबा] तालिका कम [उच्च] प्रोवर लागत लेकिन उच्च [कम] सत्यापनकर्ता लागत की ओर ले जाती है)
• बॉबिन थ्रेडबेयर हमें पॉलीगॉन मिडन के शून्य-ज्ञान स्टार्क-आधारित वीएम के अंदरूनी दौरे पर ले गया; अन्य ZK VMs के विपरीत, प्रोग्राम को निर्देशों के मर्केलाइज़्ड एब्सट्रैक्ट सिंटैक्स ट्री (MAST) के रूप में फीड किया जाता है, जिससे दक्षता और सुरक्षा दोनों में सुधार होता है (स्लाइड्स)
• नलिन भारद्वाज ने सर्कम में पुनरावर्ती SNARKs को लागू करने पर चर्चा की, एक शक्तिशाली तकनीक जो अन्य ZK अनुप्रयोगों में अपना रास्ता खोजती है, समेत ऊपर की ओर जाना; सर्कम में पेयरिंग सर्किट के भीतर ग्रोथ16 SNARKs के सत्यापन को सक्षम बनाता है, जो बदले में, अधिक स्केलेबल एकत्रीकरण को सक्षम बनाता है (एक के बाद एक बनाम सभी एक साथ) और एक प्रोवर को स्वयं सटीक तथ्य को जाने बिना किसी तथ्य का ज्ञान दिखाने की अनुमति देता है। कहावत अब शून्य-ज्ञान संपत्ति के दोनों ओर है)!
• आयुष गुप्ता ने नियतात्मक न्यूलिफायर के लिए एक नई योजना प्रस्तुत की जो ZK अनुप्रयोगों को उपयोगकर्ताओं को एक ही क्रिया तक सीमित करने की अनुमति देती है, जैसे कि एक एयरड्रॉप का दावा करना (स्लाइड्स)
• उमा रॉय और जॉन गुइबास ने zk-SNARKs के माध्यम से सर्वसम्मति की पुष्टि करके लाइट क्लाइंट्स को ऑन-चेन रखने पर अपना काम प्रस्तुत किया; परिणाम है Tesseract, ETH2 और Gnosis के बीच एक प्रोटोटाइप ZK ब्रिज जिसने सुरक्षा और सेंसरशिप प्रतिरोध में सुधार किया है

पूरा एजेंडा देखें

3. DeFi सुरक्षा शिखर सम्मेलन (SBC 22 से पहले)

ब्लॉकचैन सम्मेलन के विज्ञान के शुरू होने से ठीक पहले, कई सुरक्षा शोधकर्ता और चिकित्सक पहले वार्षिक में एकत्र हुए डेफी सुरक्षा शिखर सम्मेलन बग बाउंटी और बीमा जैसे सुरक्षा उपायों के लिए पिछली सुरक्षा घटनाओं और सुरक्षित विकास प्रक्रियाओं पर विचार-विमर्श करने के लिए।

विषयों पर कुछ त्वरित नोट्स, वार्ता के लिंक के साथ:

• कर्ट बैरी, जेरेड फ़्लैटो, और स्टॉर्मिंग0x ने अपने सुरक्षित स्मार्ट अनुबंध विकास अभ्यास के बारे में बताया MakerDAO, यौगिक, तथा उदास होना, क्रमश; एक सामान्य विषय था स्विस पनीर मॉडल, जो विभिन्न पूरक सुरक्षा उपायों को एक साथ जोड़ता है
• क्रिस्टोफ मिशेल ने के विकास पर चर्चा की मूल्य हेरफेर हमले (एक दिलचस्प सीटीएफ के साथ चुनौती एक बोनस के रूप में!) और योव वीस ने विभिन्न समझाया पुल शोषण
• मिशेल अमाडोर ने मजबूत के महत्व का प्रचार किया प्रोत्साहन राशि इस स्थान को सुरक्षित रखने के लिए अधिक सुरक्षा प्रतिभा प्राप्त करने के लिए
• समय-भारित औसत मूल्य जैसे विभिन्न विषयों पर पैनल चर्चा हुई (TWAP) ओरेकल सुरक्षा मर्ज के बाद भी मॉड्यूलरिटी और अपग्रेडेबिलिटी
• एक अन्य विषय लेखापरीक्षा प्रथाओं के लिए सही अपेक्षाएं स्थापित करना था; लेखा परीक्षकों के आम संदेश थे कि "लेखा परीक्षा" के बजाय, उन्हें वास्तव में "टाइम-बॉक्सिंग सुरक्षा मूल्यांकन" कहा जाना चाहिए और साथ ही यह अवलोकन कि ऑडिटिंग संलग्नक "अधिक हैं संरेखण बजाय दायित्व"
• डेवलपर्स ने सामान्य ऑडिटिंग कमजोरियों के बारे में चिंता व्यक्त की जैसे कि लंबे समय तक लीड समय और सुरक्षित कोडबेस के लिए अपर्याप्त प्रोत्साहन; शर्लक ने एक दिलचस्प प्रस्ताव रखा दृष्टिकोण जो "दोनों में से सर्वश्रेष्ठ" दुनिया पाने के लिए ऑडिट प्रतियोगिताओं और विरासत ऑडिट की प्रभावशीलता को मिलाकर इन मुद्दों को संबोधित कर सकता है

पूरा एजेंडा देखें (कुछ बातचीत के लिंक के साथ)

प्रस्तुतियों को देखें: दिन 1, दिन 2

संपादक: रॉबर्ट हैकेट (@rhhackett) और स्टेफ़नी ज़िन (@stephbzinn)

***

यहां व्यक्त किए गए विचार व्यक्तिगत एएच कैपिटल मैनेजमेंट, एलएलसी ("a16z") कर्मियों के हैं जिन्हें उद्धृत किया गया है और यह a16z या इसके सहयोगियों के विचार नहीं हैं। यहां निहित कुछ जानकारी तृतीय-पक्ष स्रोतों से प्राप्त की गई है, जिसमें a16z द्वारा प्रबंधित निधियों की पोर्टफोलियो कंपनियों से भी शामिल है। विश्वसनीय माने जाने वाले स्रोतों से लिए गए, a16z ने स्वतंत्र रूप से ऐसी जानकारी का सत्यापन नहीं किया है और किसी भी स्थिति के लिए जानकारी की वर्तमान या स्थायी सटीकता या इसकी उपयुक्तता के बारे में कोई प्रतिनिधित्व नहीं करता है। इसके अतिरिक्त, इस सामग्री में तृतीय-पक्ष विज्ञापन शामिल हो सकते हैं; a16z ने ऐसे विज्ञापनों की समीक्षा नहीं की है और उनमें निहित किसी भी विज्ञापन सामग्री का समर्थन नहीं करता है।

यह सामग्री केवल सूचना के उद्देश्यों के लिए प्रदान की जाती है, और कानूनी, व्यापार, निवेश या कर सलाह के रूप में इस पर भरोसा नहीं किया जाना चाहिए। आपको उन मामलों में अपने स्वयं के सलाहकारों से परामर्श लेना चाहिए। किसी भी प्रतिभूति या डिजिटल संपत्ति के संदर्भ केवल दृष्टांत उद्देश्यों के लिए हैं, और निवेश सलाहकार सेवाएं प्रदान करने के लिए एक निवेश अनुशंसा या प्रस्ताव का गठन नहीं करते हैं। इसके अलावा, यह सामग्री किसी भी निवेशक या संभावित निवेशकों द्वारा उपयोग के लिए निर्देशित नहीं है और न ही इसका इरादा है, और किसी भी परिस्थिति में a16z द्वारा प्रबंधित किसी भी फंड में निवेश करने का निर्णय लेते समय इस पर भरोसा नहीं किया जा सकता है। (a16z फंड में निवेश करने की पेशकश केवल निजी प्लेसमेंट मेमोरेंडम, सब्सक्रिप्शन एग्रीमेंट, और ऐसे किसी भी फंड के अन्य प्रासंगिक दस्तावेज द्वारा की जाएगी और इसे पूरी तरह से पढ़ा जाना चाहिए।) किसी भी निवेश या पोर्टफोलियो कंपनियों का उल्लेख, संदर्भित, या वर्णित a16z द्वारा प्रबंधित वाहनों में सभी निवेशों के प्रतिनिधि नहीं हैं, और इस बात का कोई आश्वासन नहीं दिया जा सकता है कि निवेश लाभदायक होगा या भविष्य में किए गए अन्य निवेशों में समान विशेषताएं या परिणाम होंगे। आंद्रेसेन होरोविट्ज़ द्वारा प्रबंधित निधियों द्वारा किए गए निवेशों की सूची (उन निवेशों को छोड़कर जिनके लिए जारीकर्ता ने सार्वजनिक रूप से कारोबार की गई डिजिटल संपत्ति में सार्वजनिक रूप से और साथ ही अघोषित निवेशों का खुलासा करने के लिए a16z की अनुमति नहीं दी है) https://a16z.com/investments पर उपलब्ध है। /.

इसमें दिए गए चार्ट और ग्राफ़ केवल सूचना के उद्देश्यों के लिए हैं और निवेश का कोई भी निर्णय लेते समय उन पर भरोसा नहीं किया जाना चाहिए। पूर्व प्रदर्शन भविष्य के परिणाम का संकेत नहीं है। सामग्री केवल इंगित तिथि के अनुसार बोलती है। इन सामग्रियों में व्यक्त किए गए किसी भी अनुमान, अनुमान, पूर्वानुमान, लक्ष्य, संभावनाएं और/या राय बिना किसी सूचना के परिवर्तन के अधीन हैं और दूसरों द्वारा व्यक्त की गई राय के विपरीत या भिन्न हो सकते हैं। अतिरिक्त महत्वपूर्ण जानकारी के लिए कृपया https://a16z.com/disclosures देखें।