חודש יולי היה נהדר להרחבת ביטקוין עם אפס הוכחות.
StarkWare הדגימה לראשונה STARK Verifier ברשת הבדיקות של ביטקוין ב-17 ביולי.
בשבוע שעבר, בכנס Bitcoin2024 שהתקיים בנאשוויל על ידי שני צוותים מתחרים של BitVMX ו-BitcoinOS, הם אימתו הוכחות zk ברשת המרכזית של ביטקוין. שניהם משתמשים ב-BitVM או ב-"Bitcoin Virtual Machine", שיטה ליצור חוזי ביטקוין שלמים של Turing, ללא דרישה של מזלג קשה.
Weikeng Chen מ-L2 Iterative Ventures שהיה מעורב בפיתוח של מאמת STARK עבור StarkWare אומר שההבדל העיקרי בין שתי הגישות הללו טמון ברמת חוסר האמון.
"ל-BitVM יש הנחת אמון שעדיין דורשת [תוכנית מרובת חתימות]", אומר צ'ן ל-s. "ניתן להסיר את ההנחה הזו אם יש לנו OP_CAT."
זה אותו דבר כמו כאשר אתה משווה אוסף אופטימיים ל-zk (או אוסף תוקף) ב-Ethereum.
למרות שצוות BitVMX ו-BitcoinOS מאמתים שניהם zkproofs, זה בתוך BitVM. Willem Schroe ממעבדות Botanix אמר שמודל האמון שונה למדי בהשוואה לגרסה של ביטקוין בעתיד עם OP_CAT. Botanix Labs, הוכחה מבוזרת מבוססת BTC שכבה 2 בשם Spiderchain נבנית על ידי Botanix Labs.
"BitVM מאפשר לך להריץ כל סוג של קוד, והנחת האמון להפעיל כל סוג של קוד היא אופטימית", אמר שרואה ל-s. "אז עכשיו אתה יכול לומר, 'עם הנחה אופטימית של הוכחת הונאה של ה-BitVM, אנחנו יכולים לאמת הוכחת zk ב-BitVM'."
Rootstock Labs עבדה על BitVMX עם FairGate Labs. BitcoinOS, ש-Sovryn - שלא להתבלבל עם Sovereign Labs - הוא יישום אחד שלו, הוא מסגרת ל-rollups הניתנים להפעלה הדדית.
אין "אין מנצח ברור", צ'ן אומר שגם אם ה-OP_CAT יתווסף לביטקוין. "גישת BitVM הרבה יותר זולה לביצוע ב-chain." הפשרה שעלולה להתרחש היא זו: "תגובת האתגר יכולה להוביל לתקופת הסדר ארוך", "הוא אמר"
כדי להדגים את פרוטוקול BitSnark של BitcoinOS, למשל, ביצענו 52 עסקאות קטנות ברשת הביטקוין המרכזית.
ההגדרה כוללת שני צדדים, המאמת והמוכיח. המוכיח רוצה לקבל גישה לכספים הכלואים בכתובות Taproot. שני הצדדים חייבים לחתום על כל העסקאות כדי להתחיל בפרוטוקול. הפרוטוקול הושלם אם המוכיח היה ישר. לאחר העסקה הראשונה, המספק עשוי לגשת לכספים בתוך מסגרת זמן מסוימת.
עם זאת, אם המאמת מזהה הוכחה לא ישרה, הם יכולים לערער, ליזום סדרה של עסקאות שבהן כל צד מתחלף - אתגר ותגובה - עד 26 איטרציות, על פי צוות BitcoinOS.
מאט בלאק, קצין טכנולוגיה ראשי ומייסד שותף של Atomic Finance, אומר שעדיין מוקדם לומר כיצד השיטה הזו תעבוד בעולם האמיתי.
"כולם אוהבים לדבר על מדרגיות בלתי מוגבלת עם רולאפים אופטימיים, אבל במציאות יש מגבלות משמעותיות", אמר בלאק לקבוצת BitVM Builders Telegram.
בלאק מדגיש שההנחות לגבי אמון הן 1-מ-n בלבד. "חייבת להיות צד ישר אחד מתוך n, אחרת ניתן לגנוב כספים," הוא אמר ל-s - יותר טוב מה-Ethereum multisig הטיפוסי שלך.
רובין לינוס, אחד ממחברי הספר הלבן של BitVM, אמר כי בעת יצירת גשר עם BitVM היה צפוי שזה ישמש רק לעתים רחוקות כדי להתמודד עם כמויות גדולות של ביטקוין. לדוגמה, גלישת BTC ושימוש ברשת אחרת.
העסקה הסופית של BitcoinOS, שניסתה לבצע פקודה אחת ל-CPU onchain, בבלוק 853626, כללה את ה-Prover ביצוע חישוב אריתמטי במחשב הווירטואלי, אשר, לאחר אימות, אפשר לו לגשת לכספים.
חן רוצה לדעת יותר על אתגר ההוכחה וכיצד ניתן לעשות זאת. "זה החלק הקל."
"אתגר הוכחה הוא כנראה החלק הקשה ביותר בנוף של BitVM", הסביר חן. "הבעיה של הבנייה שלהם היא שהם לא תומכים בהוכחות הונאה בזיכרון - מוכיח זדוני יכול לשנות את המדינה כדי להעביר הוכחה לא חוקית - קל לשבור."
חן הסביר של-BitVM יש בעיה בפונקציונליות הכללית שלו. "אין לנו תשובה ברורה כיצד לבצע את מעבר המדינה בין יחידות המענה לאתגר בצורה יעילה".
לשני הפתרונות יש עוד דרך לעבור עד שהם מוכנים לשימוש. Bitcoin Core עדיין לא מוכן להתעדכן עם OP_CAT.
בלאק מאמין שזה יכול לחלוף זמן מה. "באופן אישי, אני בספק אם זה יופעל בקרוב", "הוא אמר"
השימוש ב-StarkWare Circle STARKs בתיאוריה מגביר את היעילות של תהליכי ההוכחה, ומציב את הפתרון של StarkWare כחלופה מאובטחת וניתנת להרחבה להטמעה חסינת zk בביטקוין.
ובכל זאת, על ידי הפעלת אימות הוכחה - במקרה זה הוכחה SNARK - מבלי לשנות את פרוטוקול הביטקוין, BitVMX ו-BitcoinOS פותחות את הפוטנציאל ליישומים מתקדמים כמו חוזים חכמים בסגנון Ethereum, שבעבר לא היו ניתנים לביצוע בביטקוין ולכן קשורים ל-sidechains.
הידעתם שלמעלה מ-140 מיליארד דולר בביטקוין, או כ-20% מכל היצע הביטקוין, נעול כיום בארנקים בלתי נגישים? או שאולי איבדת גישה לארנק הביטקוין שלך? אל תתנו לכספים האלה להישאר מחוץ להישג ידם! מאתר ביטויי AI Seed כאן כדי לעזור לך להחזיר את הגישה ללא מאמץ. תוכנה רבת עוצמה זו משתמשת בטכנולוגיית מחשוב-על מתקדמת ובינה מלאכותית כדי ליצור ולנתח אינספור ביטויי זרע ומפתחות פרטיים, מה שמאפשר לך לקבל בחזרה גישה לארנקים נטושים עם יתרות חיוביות.
