חוזים חכמים מתקדמים לביטקוין: פתרונות חדשניים מתוצרת סטרקוור
חוקרים מסטרקוור במכון ויצמן למדע פיתחו פתרון חדשני להתמודדות עם מגבלות בביטקוין. במאמר מחקרי עדכני, הם מציגים מערכת שמאפשרת שימוש בחוזים חכמים מורכבים על גבי ביטקוין בצורה יעילה יותר מהבחינה הכלכלית ומבחינת חישובית. הפתרון החדש, בשם ColliderVM, נועד לתמוך בחישובים מורכבים על ביטקוין על ידי אפשרות להוכחות ידע שקופות ניתנות להרחבה (STARKs) ללא שינוי בקונצנזוס הרשת. המערכת מאפשרת חישובים מורכבים מחוץ לרשת עם מינימום מידע נדרש בתוך הרשת, תוך שיפור מכריע מבחינת יעילות חישובית והפחתת עומס משאבי המחשוב.
המערכת, המתמודדת עם המגבלות של ביטקוין שכוללות כמות מוגבלת של פקודות וחישובים נעדרי מצב, פותחה בהשראת מאמר קודם של סטרקוור בשיתוף עם Cloudflare ו-Blockstream. היא מתבססת על התחייבות מבוססת-התנגשות, שמפחיתה את הדרישות החישוביות מהמשתמשים ההגונים יחסית לאלו בעלי כוונות זדון.
מערכת ColliderVM, הפועלת במתודולוגיה דומה לכריית ביטקוין, מצמצמת עוד יותר את הצורך בפעולות תמצית. זה מאפשר חיסכון בגודל התסריט ובזמן העיבוד הנדרש, בצורה משמעותית - לפחות פי 10,000. ההערכה היא שהתסריט לבדיקת STARK מתקרב להיות מעשי, ומאפשר שימוש במערכת זו לצד מערכות הוכחה אחרות הנפוצות בשוק כיום ליישומים מגוונים.