שתי חברות סטארטאפ משתפות פעולה כדי להציג פתרון לאימות טענות לגבי ערך כולל נעול (TVL) על ידי פרויקטים של מימון מבוזר בביטקוין (Bitcoin defi).
נתוני TVL מנופחים עשויים לפוצץ אקוסיסטם ביטקוין דפי בשווי 30 מיליארד דולר
מאמר זה פורסם לפני יותר משנה. חלק מהמידע עשוי לא להיות עדכני.

מדוע מימון מבוזר בביטקוין זקוק להוכחת TVL
בערך כולל נעול (TVL) של יותר מ-$30 מיליארד, מימון מבוזר בביטקוין (Bitcoin defi) הופך במהירות למגמה רווחית, אך מספרי TVL מופרזים מפרויקטים מפוקפקים עלולים לערער את כל המגזר.
הסיבה לכך ש-TVL הוא המדד המוכר ביותר ב-defi היא כי הוא מסמל את הנזילות של האסימון. זה גם עוזר למשקיעים להעריך את הפופולריות והאמינות של פרויקט. אבל מימון מבוזר בביטקוין שונה. הערכת TVL המבוסס על ביטקוין היא קשה בהרבה מאשר בפרוטוקולים כמו את’ריום.
מודל הפלט של עסקאות שלא בוצעו (UTXO) של ביטקוין עוקב אחרי חתיכות נפרדות של ביטקוין (BTC) ש-כפי שהשם מרמז-עוד לא בוצעו. פרוטוקול כמו את’ריום פשוט מספק יתרה כוללת של את’ר (ETH) בחשבון. וכאן טמונה הבעיה – מודל ה-UTXO הלא קונבנציונלי של ביטקוין מאפשר לפרויקטים להערים על המערכת ולהגדיל את עוצמת ה-TVL.
“אתם יכולים להגיש כמה תביעות על מודל ה-UTXO שאתם רוצים,” אמר פרופסור יו פנג ל-Bitcoin.com בראיון. “אבל בסופו של יום, אנחנו מחשבים רק את העסקה שמתרחשת על הבלוקצ’יין של הביטקוין כי זה המספר שאף אחד לא יכול לשנות,” הוסיף פנג.
בעיקרון, פרויקטים של מימון מבוזר בביטקוין מפרסמים כספים שהובטחו להם על ידי ספקי נזילות (LPs) בצורה של UTXO של ביטקוין, אך לא ברור אם הכספים האלו מסופקים לאחר מכן לפרויקטים. אחרי הכל, כפי שמסביר פנג, רק הכספים שניתן להוכיח באופן דמונסטריבי שהם בשליטתו של הפרויקט צריכים להיחשב ל-TVL.
פנג הוא פרופסור למדעי המחשב באוניברסיטת קליפורניה בסנטה ברברה (UCSB) ומייסד הסטארטאפ של קנה מידה בלוקצ’יין נוביט. הוא משתף פעולה עם פרופסור לשעבר בנושא מדעי המחשב ב-UCSB שומו צ’ו, שייסד את נברא לאבס, חברת מחקר הוכחות אפס ידע (zk-proof).
הצלה בעזרת הוכחות zk
במקום להסתמך על טענות TVL שניתן להפריך, אמרו צ’ו ופנג ל-Bitcoin.com שהם פיתחו כלי שמשתמש בהוכחות zk, שמשתמשות בקריפטוגרפיה כדי להוכיח את התקפות של מידע מבלי לחשוף את המידע עצמו, ו-[BitVM](https://bitvm.org/), מסגרת חוזים חכמים מבוססת על ביטקוין, כדי לאשר באופן אמין את ה-TVL.
“היופי של zk הוא שהיא ניתנת לתכנות,” אמר צ’ו. “אנחנו יכולים ליישם את הפרוטוקולים האלו יחסית בקלות באמצעות הטכנולוגיה שלנו כך שאנשים לא יוכלו לרמות.”
צ’ו הסביר שהפתרון שלו להוכחת TVL מאוד דומה למערכות [הוכחת רזרבות](https://www.binance.com/en/proof-of-reserves) שאומצו על ידי בורסות כמו Binance בעקבות קריסת FTX.
“הייתי אחד המחברים המקוריים של ה[מאמרים](https://ethresear.ch/t/snarked-merkle-sum-tree-a-practical-proof-of-solvency-protocol-based-on-vitaliks-proposal/14405) על הוכחת רזרבות בקהילת את’ריום,” הסביר צ’ו. “זה בעצם הוכחת רזרבות בתוספת כמה התאמות ביטקוין,” הוסיף צ’ו, בהתייחסותו לכך שהמערכת שלו להוכחת TVL מכילה דרישות נוספות כדי להתאים למודל ה-UTXO של ביטקין.
כמו הוכחת רזרבות, גם הוכחת TVL שואפת למנוע ריצות בנק קטסטרופליות היכן שמספר גדול של משקיעים עם אסימוני סטייק נוזלי מחליטים למשוך את הביטקוין הבסיסי ורואים שפרויקט הנפיק יותר אסימונים ממה שהיה לו ביטקוין.
הוכחת TVL גם מראה כמה ביטקוין נעול וניתן להחרמה. הביטקוין שמשקיעים מתחייבים לפרויקט מגיע לפלטפורמות הוכחת סטייק שבהן הוא משמש להלוואות ומטרות [defi](https://news.bitcoin.com/unlocking-the-future-your-fun-guide-to-decentralized-finance-and-web3/). פלטפורמות אלה מתמודדות עם פעילות זדונית על ידי החרמת חלק מהכספים שמשקיע עבריין מתחייב לפרויקט. אבל כדי להחרים כספים, הפלטפורמה חייבת להיות בשליטה מסוימת על הנכסים, וזה משהו שהפתרון של צ’ו יכול לאמת.
לפי ה[מאגר](https://github.com/RiemaLabs/Proof-of-TVL) של Github של הוכחת TVL, “ה-BTC שלא נמצא תחת פרוטוקול הסטייק ולא ניתן להחרמה אינו יכול להימנות ב-TVL.”
צ’ו ופנג מסרו שהמערכת שלהם להוכחת TVL עדיין עוברת ניסויים, אבל היא תיכלל במוצר הקרוב של נוביט שנקרא [Goldinals](https://www.nubit.org/Goldinals.pdf) – סטנדרט אסימון שניתן להחלפה בביטקוין שדומה למודל ERC-20 של את’ריום – שמתוכנן להיות מושק כבר בשבוע הבא.
“כרגע אנחנו מתחילים לבנות את פרוטוקול הגישה המקורי הראשון על ביטקוין שנקרא Goldinals על גבי BitVM,” אמר פנג. “אחת המשימות העיקריות שלנו היא להחזיר את המחשב העולמי לביטקוין.”















