FlashProve בקוד פתוח אנתרופי - כלי להסקת מסקנות שניתן להוכיח בעצם, הם הציעו אב טיפוס של פרוטוקול קריפטוגרפי פתוח שדרכו כל בוחן ללא גישה לסולמות יכול לוודא שהתשובה ניתנה בדיוק על ידי המודל שהוכרז על ידי הספק. דבר כזה נחוץ, למשל, כדי לבדוק ששירות הניתוב לא מחליף את הדגם בזול יותר, או שהדגם במעגל של החברה לא הוחלף על ידי תוקפים. זה עובד כך: הספק מפרסם מראש הדפס דיגיטלי של סולמותיו, ולאחר מכן מצרף קובץ הוכחה לכל תשובה. ההתאמה בין הקובץ הזה לבין החותם פירושה את האותנטיות של הדגם, וניתן לבדוק אותו במחשב רגיל ללא GPU ומשקל. ההוכחה שוקלת כ-19 מגה-בייט לכל בקשה של 1024 אסימונים, והאימות נמשך כ-17 שניות. ברור שזה עדיין יקר פי כמה מהסקה רגילה, אבל, לשם השוואה, התוצאה הקודמת הייתה כ-14 שעות של אימות והוכחה של 93 GB. האלגוריתם מבוסס על שיטת zkSNARK. זה ידוע כבר די הרבה זמן, אבל היתרון של אנתרופית הוא שהם הצליחו לייעל אותו למהירויות מעשיות בדגם עם פרמטרים של עד 400V. אגב, הכתבה אומרת שקלוד עסק בעיקר בהאצה ובאופטימיזציה. אולי זה לא רחוק מגלאי מקור טקסט

FlashProve בקוד פתוח אנתרופי - כלי להסקת מסקנות שניתן להוכיח בעצם, הם הציעו אב טיפוס של פרוטוקול קריפטוגרפי פתוח שדרכו כל בוחן ללא גישה לסולמות יכול לוודא שהתשובה ניתנה בדיוק על ידי המודל שהוכרז על ידי הספק. דבר כזה נחוץ, למשל, כדי לבדוק ששירות הניתוב לא מחליף את הדגם בזול יותר, או שהדגם במעגל של החברה לא הוחלף על ידי תוקפים. זה עובד כך: הספק מפרסם מראש הדפס דיגיטלי של סולמותיו, ולאחר מכן מצרף קובץ הוכחה לכל תשובה. ההתאמה בין הקובץ הזה לבין החותם פירושה את האותנטיות של הדגם, וניתן לבדוק אותו במחשב רגיל ללא GPU ומשקל. ההוכחה שוקלת כ-19 מגה-בייט לכל בקשה של 1024 אסימונים, והאימות נמשך כ-17 שניות. ברור שזה עדיין יקר פי כמה מהסקה רגילה, אבל, לשם השוואה, התוצאה הקודמת הייתה כ-14 שעות של אימות והוכחה של 93 GB. האלגוריתם מבוסס על שיטת zkSNARK. זה ידוע כבר די הרבה זמן, אבל היתרון של אנתרופית הוא שהם הצליחו לייעל אותו למהירויות מעשיות בדגם עם פרמטרים של עד 400V. אגב, הכתבה אומרת שקלוד עסק בעיקר בהאצה ובאופטימיזציה. אולי זה לא רחוק מגלאי מקור טקסט