ניירות לבנים
עשרה מסמכים, פרויקט אחד.
המאמר הדגל של TensorCash פותח את הסט; שמונה מאמרים נוספים מפרטים את החלקים שעליהם הוא נשען. כולם נכתבו תחת השם Imosuke Takakuni.
המאמר הראשי
TensorCash
TensorCash הופך כל הסקת AI לברת-אימות. ספק שמריץ מודל בקוד פתוח מצרף לכל תשובה הוכחה קומפקטית: איזה מודל הריץ אותה, באילו כללי דגימה ועל איזה קלט. תשובות שעומדות בסף מצטרפות לשרשרת שנגזרת מ-Bitcoin.
אותו forward pass עושה שני דברים: משרת משתמש משלם וגם מאבטח ספר חשבונות ציבורי. אין צורך בחומרת כרייה נפרדת ולא צריך לנצח שום מלחמת hash. אותם ה-GPU שעונים על הפניות מטביעים גם בלוקים, וה-stack של האימות בקוד פתוח — כך שלא צריך לסמוך על מפעיל בודד.
על גבי אותו ספר חשבונות, TensorCash מוסיף את היסודות הפיננסיים שעולם הקריפטו הבטיח שנים אך לא סיפק ברמת הפרוטוקול: מטבעות יציבים, ניירות ערך מטוקנים, עסקאות ריפו ופורוורד ומשמורת פוסט-קוונטית. הסילוק נעשה בקונצנזוס — לא דרך משמורן ולא דרך VM כללי של חוזים חכמים.
ליבה · 4 ניירות
איך הוכחת-הסקה עובדת, מי מאמת אותה, ואיך היא מאבטחת את השרשרת.
-
אימות עבודת הסקה
אימות מודל ללא אמון — בלי דרישה לרפרודוקטיביות bit-exact.
-
Core Node
כותרות מאוגדות ל-VDF, blob של הוכחה, וקושי מותאם — על fork של Bitcoin Core.
-
Mining API
חוזה הוכחה ללא תשלום אגרה: לכידת מצב הדגימה מבלי להאט את בקשות המשתמש.
-
הוצאה פוסט-קוונטית
נתיבי witness של ML-DSA — לכספות ארוכות-טווח ולמשמורת שצופה פני עתיד.
מימון · 4 ניירות
נכסים מקוריים, covenants לסילוק ושכבת התיאום שמחברת בין הצדדים.
-
פרוטוקול נכסים
הנפקה, העברה ושריפה של נכסים בתוך הפרוטוקול — עם הוכחות תאימות ZK ו-ICUs מתחלפים.
-
חוזי סילוק
יסודות ספוט, ריפו ופורוורד שמסולקים על השרשרת דרך covenants — לא דרך משמורנים.
-
נגזרים על מחשוב AI
חוזים נייטיב עם הפסד מוגבל, שמגדרים — או לוקחים פוזיציה — על מחזור מחשוב ה-AI, ומסולקים מול קושי הרשת.
-
שכבת תיאום
גילוי Nostr, סשני Noise+SPAKE2 ו-HTLCs מאפשרים לצדדים לחתום במשותף — ללא בורסה מתווכת.
מחקר · 2 ניירות
טיוטות מחקר פתוח באיטרציה פעילה.
-
Verifiable Inference (research paper)
Checkable, tradeable, and mineable model execution — the proof rides the native production forward pass.
-
DEX מפוצל
מצב ספר ההזמנות מחולק ב-Shamir 6-מתוך-10 על פני תת-קבוצות מאמתים עצמאיות.