SBC 22: Blockchain 2022 এর বিজ্ঞান থেকে ফিল্ড নোট

ক্ষেত্র নোট এমন একটি সিরিজ যেখানে আমরা উল্লেখযোগ্য শিল্প, গবেষণা এবং অন্যান্য ইভেন্টে মাটিতে রিপোর্ট করি। এই সংস্করণে, a16z ক্রিপ্টো দলের কিছু সদস্য উপস্থিত থেকে আকর্ষণীয় আলোচনা, কাগজপত্র, স্লাইড এবং আরও অনেক কিছুর সংগ্রহ করেছেন ডিফাই সিকিউরিটি সামিট 2022 (27-28 আগস্ট), দ্য ব্লকচেইন কনফারেন্সের বিজ্ঞান 2022 ওরফে SBC 22 (Aug. 29-31), এবং বিভিন্ন অধিভুক্ত কর্মশালা (Aug. 28-Sept. 2), যার সবকটিই গত মাসে স্ট্যানফোর্ড বিশ্ববিদ্যালয়ে হয়েছিল৷

1. ব্লকচেইন সম্মেলনের বিজ্ঞান 2022

সার্জারির ব্লকচেইন সম্মেলনের বিজ্ঞান ব্লকচেইন ইকোসিস্টেমের প্রযুক্তিগত উদ্ভাবনের উপর ফোকাস করে, এবং ক্রিপ্টোগ্রাফি, সুরক্ষিত কম্পিউটিং, ডিস্ট্রিবিউটেড সিস্টেম, বিকেন্দ্রীভূত প্রোটোকল ডেভেলপমেন্ট, আনুষ্ঠানিক পদ্ধতি, অভিজ্ঞতামূলক বিশ্লেষণ, ক্রিপ্টো-অর্থনীতি, অর্থনৈতিক ঝুঁকি বিশ্লেষণ এবং আরও অনেক কিছু জুড়ে কাজ করা গবেষক এবং অনুশীলনকারীদের একত্রিত করে। ইভেন্টটি স্ট্যানফোর্ডের অধ্যাপক (এবং a16z ক্রিপ্টো সিনিয়র গবেষণা উপদেষ্টা) ড্যান বোনেহ দ্বারা সহ-সভাপতি; a16z ক্রিপ্টো রিসার্চের প্রধান টিম রাফগার্ডেনও প্রোগ্রাম কমিটিতে ছিলেন এবং আমরা পাঠকদের সাথে শেয়ার করা কাগজে একটি আমন্ত্রিত বক্তৃতা দিয়েছিলাম আমাদের শেষ নিউজলেটারে.

এখানে আমাদের দলের কিছু ফিল্ড নোট, লিঙ্ক, এবং SBC 22 এর থিমগুলির সাথে সাথে কয়েকটি অনুমোদিত কর্মশালার একটি দ্রুত মিশ্রণ রয়েছে – যার মধ্যে রয়েছে “ঐক্যমত্যের বিজ্ঞান এবং প্রকৌশল” কর্মশালা (28 আগস্ট) এবং অন্যটি সর্বাধিক উত্তোলনযোগ্য মূল্যের উপর, বা MEV (সেপ্টেম্বর 1) - কোন নির্দিষ্ট ক্রমে:

• পেইয়াও শেং বিভিন্ন ব্লকচেইন প্রোটোকলের বিশ্লেষণ করে, কোনটি আরও ভাল ফরেনসিক সমর্থন রয়েছে তা খুঁজে বের করে যা প্রমাণের সাথে একজন বৈধকারীর দুর্ব্যবহার সনাক্ত করতে সহায়তা করে (কাগজ)
• আর্কওয়ার্কের উপর প্রত্যুষ মিশ্রের বক্তৃতা, zkSNARK-এর জন্য একটি মরিচা ইকোসিস্টেম যা অনেক ক্রিপ্টো প্রকল্প বাস্তবায়নে ব্যাপকভাবে ব্যবহৃত হয় (GitHub)
• নেটওয়ার্কে স্প্যামিং আক্রমণের সময় ব্যান্ডউইথের ভিড় কমানোর জন্য দীর্ঘতম চেইন ঐক্যমতে ডাউনলোডের নিয়ম পরিবর্তন করার বিষয়ে শ্রীবৎসান শ্রীধর (কাগজ)
• আরি জুয়েলস এবং মহিমনা কেলকারের আলোচনা লেনদেনের আদেশের প্রতিপক্ষের ট্যাম্পারিংয়ের বিরুদ্ধে সুরক্ষা, এবং ন্যায্য লেনদেনের আদেশ কার্যকর করার জন্য একটি পরিকল্পনা (কর্মশালার বিমূর্ত, কাগজ)
• ইথেরিয়ামের সহ-প্রতিষ্ঠাতা ভিটালিক বুটেরিন সাড়া দেওয়ার জন্য — এবং বেঁচে থাকা — 51% আক্রমণ (অংশগ্রহণকারী স্লাইড সহ টুইট)
• পিওএস চেইনের নিরাপত্তা বাড়ানোর জন্য বিটকয়েন হ্যাশ পাওয়ার পুনঃব্যবহারের বিষয়ে ডেভিড টিস (কাগজ)
• জন অ্যাডলারের জবাবদিহিতার উপর বক্তৃতা — এই ক্ষেত্রে, আক্রমণকারীদের চিহ্নিত করার এবং শাস্তি দেওয়ার ক্ষমতা — PoS সিস্টেমে (কর্মশালার বিমূর্ত)
• এমইভি "ডার্ক ফরেস্ট"-এর বিবর্তনের বিষয়ে ফিল ডায়ান, সামনের সমস্যা থেকে সবকিছু কভার করে তাত্ত্বিক রূপরেখা, তার প্রাথমিক শনাক্তকরণ ফ্ল্যাশ বয়েজ 2.0 কাগজ, MEV গবেষণা সংস্থা Flashbots-এর উত্থান, লেনদেন সেন্সরশিপ প্রতিরোধের সাথে সম্পর্কিত বর্তমান সময়ের বিবেচনা এবং মার্জ-পরবর্তী লেনদেনের বান্ডেলগুলির জন্য একটি শক্তিশালী নির্মাতা এবং প্রস্তাবক বাজার তৈরি করা (কর্মশালার বিমূর্ত / স্লাইড)
• A বিষয়: “অসমমিতিক এবং বিষয়গত বিশ্বাস অনুমান (সব নোড সমানভাবে বিশ্বস্ত নয়, সমস্ত নোড সমানভাবে বিশ্বাস করে না) এবং ভিউ-ভিত্তিক প্রোটোকল (নোডগুলি স্থানীয়ভাবে তাদের রাষ্ট্রের দৃষ্টিভঙ্গি ব্যাখ্যা করে এবং অবশেষে একটি ভিউ-মার্জ ক্যানোনিকাল DAG ওরফে নির্দেশিত অ্যাসাইক্লিক গ্রাফ নির্ধারণ করে, কাঁটাচামচ পছন্দ, ইত্যাদি)" [একটি সম্পর্কিত কাগজ]

উপস্থাপনা দেখুন: দিন 1, দিন 2, দিন 3

2. ফলিত ZK কর্মশালা (SBC 22 এর অংশ)

ব্লকচেইন কনফারেন্সের বিজ্ঞান মোড়ানোর পর, ফলিত ZK কর্মশালা (সেপ্টেম্বর 2) জিরো নলেজ (জেডকে) ইকোসিস্টেমের সর্বশেষ উন্নয়নের উপর আরও এক দিনের শেখার এবং আলোচনার জন্য গবেষক এবং বিকাশকারীদের একত্রিত করেছে। স্পিকাররা নতুন সার্কিট আদিম এবং ভার্চুয়াল মেশিন (ভিএম) আর্কিটেকচার থেকে যাচাইকরণ এবং নিরীক্ষার মাধ্যমে নিরাপত্তা নিশ্চিত করার সবকিছুই কভার করে।

ZK সিস্টেমগুলির জন্য আনুষ্ঠানিক পদ্ধতিগুলি কর্মশালার এজেন্ডায় একটি গুরুত্বপূর্ণ আইটেম ছিল, একটি সুপরিচিত সমস্যা সমাধানের উপর দৃষ্টি নিবদ্ধ করে: যখন একটি ZK সিস্টেম স্থাপনের পরে ত্রুটিপূর্ণ হয়, তখন মূল কারণ খুঁজে বের করা এবং ঠিক করা কঠিন। কম্পাইল-টাইমে ZK সিস্টেমের সঠিকতা যাচাই করা গুরুত্বপূর্ণ, এবং আনুষ্ঠানিক যাচাই একটি দুর্দান্ত সাহায্য হতে পারে। বেশ কয়েকটি আনুষ্ঠানিক পদ্ধতি গবেষকরা বর্তমানে এই সমস্যাটির উপর কাজ করছেন এবং কয়েকজন তাদের কাজ নিয়ে আলোচনা করেছেন:

• Junrui লিউ চলমান উপস্থাপন কাজ আনুষ্ঠানিকভাবে সার্কমের কার্যকরী নির্ভুলতা যাচাই করার উপর বর্তনী লাইব্রেরি একটি প্রমাণ সহকারী Coq ব্যবহার করে, এবং Yu Feng উপস্থাপিত পিকাস, একটি স্ট্যাটিক বিশ্লেষণ টুল যা স্বয়ংক্রিয়ভাবে নির্দিষ্ট R1CS সার্কিটের জন্য নির্দিষ্ট গুরুত্বপূর্ণ বৈশিষ্ট্য (যেমন, সার্কিটের স্বতন্ত্রতা) যাচাই করে।
• এরিক ম্যাকার্থি তার দলের "যাচাই” এর জন্য কম্পাইলার সিংহরাশি, একটি সংকলনকারী যা স্বয়ংক্রিয়ভাবে সঠিকতার একটি আনুষ্ঠানিক প্রমাণ তৈরি করে, গ্যারান্টি দেয় যে সংকলিত R1CS সার্কিট উৎস লিও প্রোগ্রামের সমতুল্য

এবং ইভেন্ট থেকে আরো হাইলাইটস:

• Yi Sun এবং Jonathan Wang তাদের মূল উপবৃত্তাকার বক্ররেখা ক্রিয়াকলাপের জন্য তাদের halo2 বাস্তবায়ন উপস্থাপন করেছেন যার মধ্যে রয়েছে মাল্টি-স্কেলার গুন এবং উপবৃত্তাকার কার্ভ ডিজিটাল সিগনেচার অ্যালগরিদম (ECDSA) স্বাক্ষর যাচাইকরণ (তাদের কাজের ফলোআপ হিসাবে) উপবৃত্তাকার বক্ররেখা জোড়া সার্কমে); বিশেষত শান্ত: প্লনকিশ সার্কিট ম্যাট্রিক্সের আকৃতি পরিবর্তন করে কনফিগারযোগ্য প্রোভার-ভেরিফায়ার টাইম ট্রেডঅফ (একটি বিস্তৃত [লম্বা] টেবিল কম [উচ্চ] প্রোভার খরচের দিকে নিয়ে যায় কিন্তু উচ্চতর [নিম্ন] যাচাইকারী খরচ)
• ববিন থ্রেডবার আমাদের পলিগন মিডেনের শূন্য-জ্ঞান STARK-ভিত্তিক ভিএম-এর একটি অভ্যন্তরীণ সফরে নিয়ে গিয়েছিলেন; অন্যান্য ZK VM-এর বিপরীতে, প্রোগ্রামগুলিকে নির্দেশাবলীর মার্কেলাইজড অ্যাবস্ট্রাক্ট সিনট্যাক্স ট্রি (MAST) হিসাবে খাওয়ানো হয়, যা দক্ষতা এবং নিরাপত্তা উভয়ই উন্নত করে (স্লাইড)
• নলিন ভারদার্জ সার্কমে পুনরাবৃত্ত SNARKs বাস্তবায়নের বিষয়ে আলোচনা করেছেন, এটি একটি শক্তিশালী কৌশল যা অন্যান্য ZK অ্যাপ্লিকেশনগুলিতে পথ খুঁজে পায়, সুদ্ধ rollups; Circom-এ পেয়ারিংগুলি সার্কিটের মধ্যেই Groth16 SNARK-এর যাচাইকরণ সক্ষম করে, যা, ফলস্বরূপ, আরও পরিমাপযোগ্য একত্রীকরণ সক্ষম করে (একের পর এক বনাম একযোগে) এবং একজন পরীকারীকে সঠিক তথ্য না জেনেই একটি সত্য সম্পর্কে জ্ঞান দেখানোর অনুমতি দেয় ( prover এখন শূন্য-জ্ঞান সম্পত্তির উভয় পাশে)!
• আয়ুষ গুপ্তা নির্ধারক নলিফায়ারগুলির জন্য একটি নতুন স্কিম উপস্থাপন করেছেন যা ZK অ্যাপ্লিকেশনগুলিকে ব্যবহারকারীদের একটি একক ক্রিয়াতে সীমাবদ্ধ করতে দেয়, যেমন একটি এয়ারড্রপ দাবি করা (স্লাইড)
• উমা রায় এবং জন গুইবাস zk-SNARK-এর মাধ্যমে ঐকমত্য যাচাই করে হালকা ক্লায়েন্টদের অন-চেইন করার বিষয়ে তাদের কাজ উপস্থাপন করেছেন; ফলাফল হলো টেসেরাক্ত, ETH2 এবং Gnosis এর মধ্যে একটি প্রোটোটাইপ ZK সেতু যা নিরাপত্তা এবং সেন্সরশিপ প্রতিরোধের উন্নতি করেছে

সম্পূর্ণ এজেন্ডা দেখুন

3. ডিফাই সিকিউরিটি সামিট (পূর্ববর্তী SBC 22)

সাইন্স অফ ব্লকচেইন কনফারেন্স শুরু হওয়ার ঠিক আগে, প্রথম বার্ষিক সম্মেলনে বেশ কয়েকজন নিরাপত্তা গবেষক এবং অনুশীলনকারী জড়ো হয়েছিল ডিফাই সিকিউরিটি সামিট অতীতের নিরাপত্তা ঘটনা এবং নিরাপদ উন্নয়ন প্রক্রিয়ার প্রতিফলন নিয়ে আলোচনা করতে, বাগ বাউন্টি এবং বীমার মতো সুরক্ষার জন্য।

থিমের কিছু দ্রুত নোট, আলোচনার লিঙ্ক সহ:

• Kurt Barry, Jared Flatow, এবং storming0x তাদের নিরাপদ স্মার্ট চুক্তি উন্নয়ন অনুশীলন ব্যাখ্যা করেছেন MakerDAO, যৌগিক, এবং আকাঙ্ক্ষা, যথাক্রমে; একটি সাধারণ থিম ছিল সুইস পনির মডেল, যা বিভিন্ন পরিপূরক নিরাপত্তা ব্যবস্থাকে একত্রিত করে
• ক্রিস্টোফ মিশেল এর বিবর্তন নিয়ে আলোচনা করেন মূল্য ম্যানিপুলেশন আক্রমণ (একটি আকর্ষণীয় CTF সহ চ্যালেঞ্জ একটি বোনাস হিসাবে!) এবং Yoav Weiss বিভিন্ন ব্যাখ্যা সেতু শোষণ
• মিচেল আমাডোর শক্তিশালীর গুরুত্ব প্রচার করেছেন ইনসেনটিভ এই স্থান নিরাপদ রাখতে আরো নিরাপত্তা প্রতিভা পাওয়ার জন্য
• বিভিন্ন বিষয়ে প্যানেল আলোচনা ছিল যেমন সময়-ভারিত গড় মূল্য (TWAP) ওরাকল নিরাপত্তা একত্রিত হওয়ার পরে পাশাপাশি চালু মডুলারিটি এবং আপগ্রেডেবিলিটি
• আরেকটি বিষয় ছিল নিরীক্ষা অনুশীলনের জন্য সঠিক প্রত্যাশা নির্ধারণ; নিরীক্ষকদের কাছ থেকে আসা বার্তাগুলি ছিল যে "অডিট" এর পরিবর্তে, সেগুলিকে সত্যই "টাইম-বক্সড সিকিউরিটি অ্যাসেসমেন্ট" বলা উচিত এবং সেইসাথে পর্যবেক্ষণ করা উচিত যে নিরীক্ষণের ব্যস্ততা "আরো বেশি শ্রেণীবিন্যাস বরং দায়"
• বিকাশকারীরা সাধারণ অডিটিং দুর্বলতা যেমন দীর্ঘ লিড টাইম এবং কোডবেস সুরক্ষিত করার জন্য অপর্যাপ্ত প্রণোদনা নিয়ে উদ্বেগ প্রকাশ করেছিল; শার্লক একটি আকর্ষণীয় প্রস্তাব অভিগমন যা "উভয়ের সেরা" বিশ্বের পেতে অডিট প্রতিযোগিতা এবং উত্তরাধিকার নিরীক্ষার কার্যকারিতা একত্রিত করে এই সমস্যাগুলির সমাধান করতে পারে

সম্পূর্ণ এজেন্ডা দেখুন (কিছু আলোচনার লিঙ্ক সহ)

উপস্থাপনা দেখুন: দিন 1, দিন 2

সম্পাদক: রবার্ট হ্যাকেট (@rhhackett) এবং স্টেফানি জিন (@stephbzinn)

***

এখানে যে মতামত প্রকাশ করা হয়েছে তা হল স্বতন্ত্র AH Capital Management, LLC (“a16z”) কর্মীদের উদ্ধৃত এবং a16z বা এর সহযোগীদের মতামত নয়। এখানে থাকা কিছু তথ্য তৃতীয় পক্ষের উত্স থেকে প্রাপ্ত হয়েছে, যার মধ্যে a16z দ্বারা পরিচালিত তহবিলের পোর্টফোলিও কোম্পানিগুলি থেকে। নির্ভরযোগ্য বলে বিশ্বাস করা উৎস থেকে নেওয়া হলেও, a16z এই ধরনের তথ্য স্বাধীনভাবে যাচাই করেনি এবং তথ্যের বর্তমান বা স্থায়ী নির্ভুলতা বা প্রদত্ত পরিস্থিতির জন্য এর উপযুক্ততা সম্পর্কে কোনো উপস্থাপনা করেনি। উপরন্তু, এই বিষয়বস্তু তৃতীয় পক্ষের বিজ্ঞাপন অন্তর্ভুক্ত করতে পারে; a16z এই ধরনের বিজ্ঞাপন পর্যালোচনা করেনি এবং এতে থাকা কোনো বিজ্ঞাপন সামগ্রীকে সমর্থন করে না।

এই বিষয়বস্তু শুধুমাত্র তথ্যগত উদ্দেশ্যে প্রদান করা হয়, এবং আইনি, ব্যবসা, বিনিয়োগ, বা ট্যাক্স পরামর্শ হিসাবে নির্ভর করা উচিত নয়। এই বিষয়গুলি সম্পর্কে আপনার নিজের উপদেষ্টাদের সাথে পরামর্শ করা উচিত। যেকোন সিকিউরিটিজ বা ডিজিটাল সম্পদের রেফারেন্স শুধুমাত্র দৃষ্টান্তমূলক উদ্দেশ্যে, এবং বিনিয়োগের পরামর্শ বা বিনিয়োগ উপদেষ্টা পরিষেবা প্রদানের প্রস্তাব গঠন করে না। তদ্ব্যতীত, এই বিষয়বস্তু কোন বিনিয়োগকারী বা সম্ভাব্য বিনিয়োগকারীদের দ্বারা নির্দেশিত বা ব্যবহারের উদ্দেশ্যে নয় এবং a16z দ্বারা পরিচালিত যেকোন তহবিলে বিনিয়োগ করার সিদ্ধান্ত নেওয়ার সময় কোনও পরিস্থিতিতে নির্ভর করা যাবে না৷ (একটি a16z তহবিলে বিনিয়োগের প্রস্তাব শুধুমাত্র প্রাইভেট প্লেসমেন্ট মেমোরেন্ডাম, সাবস্ক্রিপশন চুক্তি, এবং এই ধরনের যেকোন তহবিলের অন্যান্য প্রাসঙ্গিক ডকুমেন্টেশন দ্বারা তৈরি করা হবে এবং তাদের সম্পূর্ণরূপে পড়া উচিত।) উল্লেখ করা যেকোন বিনিয়োগ বা পোর্টফোলিও কোম্পানিগুলি, বা বর্ণিতগুলি a16z দ্বারা পরিচালিত যানবাহনে সমস্ত বিনিয়োগের প্রতিনিধি নয়, এবং বিনিয়োগগুলি লাভজনক হবে বা ভবিষ্যতে করা অন্যান্য বিনিয়োগের একই বৈশিষ্ট্য বা ফলাফল থাকবে এমন কোনও নিশ্চয়তা থাকতে পারে না। Andreessen Horowitz দ্বারা পরিচালিত তহবিল দ্বারা করা বিনিয়োগের একটি তালিকা (যেসব বিনিয়োগের জন্য ইস্যুকারী a16z-এর জন্য সর্বজনীনভাবে প্রকাশ করার অনুমতি দেয়নি এবং সেইসাথে সর্বজনীনভাবে ব্যবসা করা ডিজিটাল সম্পদগুলিতে অঘোষিত বিনিয়োগগুলি ব্যতীত) https://a16z.com/investments-এ উপলব্ধ /।

এর মধ্যে প্রদত্ত চার্ট এবং গ্রাফগুলি শুধুমাত্র তথ্যের উদ্দেশ্যে এবং কোন বিনিয়োগ সিদ্ধান্ত নেওয়ার সময় তার উপর নির্ভর করা উচিত নয়। বিগত কর্মক্ষমতা ভবিষ্যতের ফলাফল পরিচায়ক হয় না। বিষয়বস্তু শুধুমাত্র নির্দেশিত তারিখ হিসাবে কথা বলে. এই উপকরণগুলিতে প্রকাশিত যেকোন অনুমান, অনুমান, পূর্বাভাস, লক্ষ্য, সম্ভাবনা এবং/অথবা মতামত বিজ্ঞপ্তি ছাড়াই পরিবর্তন সাপেক্ষে এবং অন্যদের দ্বারা প্রকাশিত মতামতের সাথে ভিন্ন বা বিপরীত হতে পারে। অতিরিক্ত গুরুত্বপূর্ণ তথ্যের জন্য দয়া করে https://a16z.com/disclosures দেখুন।