آنچه من آموخته ام (و شکسته ام) ساختن برنامه های کاربردی دانش صفر

من ماه‌هاست که نوشتن در مورد اثبات‌های دانش صفر را به تعویق می‌اندازم، تا حدی به این دلیل که توضیح آنها مانند تلاش برای توصیف رنگ‌ها برای کسی است که هرگز آنها را ندیده است. پس از گذراندن سال‌ها برای ساختن برنامه‌های کاربردی ZK – ابتدا در یک استارت‌آپ شکست خورده و بعداً در سایر محصولات – هنوز از کارکرد این چیزها شگفت‌زده هستم.

برای کسانی که در این زمینه تازه کار هستند: تصور کنید ثابت کنید که پول کافی در حساب بانکی خود برای خرید خانه دارید بدون اینکه صورت حساب بانکی خود را نشان دهید. یا ثابت کردن سن شما برای رای دادن بدون فاش کردن تاریخ تولد. این چیزی است که ZK Proofs به شما امکان می دهد انجام دهید، و هنوز هم گاهی جادویی به نظر می رسد.

پس زمینه سریع

من به طور تصادفی وارد این چیزهای ZK شدم. من روی این پردازش پرداخت کار می‌کردم (که شکست خورد، اما این یک داستان برای زمان دیگری است) که با اثبات قانونی بودن تراکنش‌ها بدون اشتراک‌گذاری داده‌های مشتری با این مشکل مواجه شدم. مثلا چطوری اینکارو میکنی؟؟ آن زمان بود که همکارم دیو (مرد باهوش، در مستندسازی وحشتناک 😅) من را با اثبات های ZK آشنا کرد. شما می توانید ثابت کنید چیزی درست است بدون اینکه نشان دهید چرا درست است. مغزم کمی شکست.

به هر حال، سریع به جلو تا الان، و من یک سری چیزها را با اثبات های ZK ساخته ام. برخی عالی کار کردند، برخی دیگر فاجعه کامل بودند. صحبت از بلایا – یک داستان خنده دار از ماه گذشته. ما این دمو را برای مراقبت های بهداشتی انجام می دادیم …

Source link