קאנון קונצנזוס

הערת העורך: ל-a16z crypto הייתה סדרה ארוכה של "רובים" - מהמקור שלנו קאנון קריפטו כדי שלנו קנון DAO ו קנון NFT ל, לאחרונה, שלנו קנון אפס ידע. להלן, אספנו כעת קבוצה של משאבים עבור אלה המבקשים להבין, להעמיק ולבנות עם קוֹנסֶנזוּס: מערכות ההסכמה המאפשרות למטבעות קריפטוגרפיים לעבוד, קביעת תוקף העסקאות והממשל של הבלוקצ'יין.

פרוטוקולי קונצנזוס הם חלק מרכזי בכל מה שקורה בעולם הבלוקצ'יין. למרבה הצער, הספרות יכולה להיות קשה להשגה. כאן אנו נותנים רשימה של קישורים שאמורים להביא אותך מעודכן בחוד החנית של המחקרים האחרונים

אנו נסווג את הקישורים למטה בהתאם לסוג הפרוטוקול הנדון. ראשית, עם זאת, רשימה של כמה משאבים כלליים, שנותנים סקירה נהדרת של מחקרים קיימים. 

משאבים כלליים

מחשבות מבוזרות. בלוג זה מנוהל על ידי איתי אברהם וקרטיק נייאק אך יש לו גם תרומות רבות של חוקרים מובילים אחרים. זה מתחיל ממש מהבסיס, אבל אתה יכול למצוא גם הסברים פשוטים של מאמרים אחרונים. 

קונצנזוס ב-50 עמודים. הערות מאת אנדרו לואיס-פיי המכסות את תוצאות המפתח מספרות הקונצנזוס הקלאסית. הגרסה בקישור זה בבנייה ומתעדכנת תדיר. ראה גם את סמינרי הקריפטו a16z המבוססים על הערות אלה (חלק א ', החלק II). 

יסודות של קונצנזוס מבוזר ובלוקצ'יין. טיוטה ראשונית של ספר הלימוד מאת איליין שי.

יסודות הבלוקצ'יין. סדרת הרצאות ביוטיוב מאת טים ​​רוגארדן. 

קרנות בלוקצ'יין. הערות ההרצאה התמקדו בפרוטוקולים של הוכחת עבודה והוכחת הימור מאת דוד צה. 

הגדרת קונצנזוס

שלוש בעיות הקונצנזוס שנחקרו ביותר הן שידור ביזנטי, הסכם ביזנטי, ו שכפול מכונת המדינה (הבעיה שפותרים פרוטוקולי בלוקצ'יין). להסבר על הקשר בין הבעיות הללו, ראה קונצנזוס ב-50 עמודים (המפורטים למעלה), או בלוגים אלה ב-Decentralized Thoughts: "מה זה קונצנזוס?"וגם"קונצנזוס לשכפול מכונת המדינה".

בעיית הגנרלים הביזנטים (1982) מאת לסלי למפורט, רוברט שוסטק ומרשל פיז.
מאמר זה מציג את "בעיית הגנרלים הביזנטים" הידועה. זה עדיין שווה קריאה, אבל גרסאות טובות יותר של כמה מההוכחות אפשר למצוא במקומות אחרים. להוכחה שניתן לפתור את הבעיה עבור כל מספר של מעבדים פגומים בהינתן תשתית מפתח ציבורי (PKI), גרסה פשוטה ויעילה יותר ניתן למצוא במאמר של דולב וסטרונג (ראה להלן בסעיף "סינכרוני פרוטוקולים"). לתוצאה הבלתי אפשרית המפורסמת שבהעדר PKI, הבעיה אינה ניתנת לפתרון אלא אם פחות משליש מהמעבדים מציגים תקלות ביזנטיות, הוכחה מובנת יותר ניתן למצוא במאמר של פישר, לינץ' ומריט (גם בהמשך) . 

יישום שירותים סובלני תקלות באמצעות גישת מכונת המדינה: הדרכה (1990) מאת פרד שניידר.
כדאי גם לעיין במאמר ישן יותר זה, המטפל בבעיית שכפול מצב מכונה (SMR) - הבעיה שנפתרה על ידי פרוטוקולי בלוקצ'יין.

הקישורים הבאים מסווגים לפי סוג הפרוטוקול הנחשב, החל מ- מותר פרוטוקולים (כפי שנחשב ברוב הספרות הקלאסית). פרוטוקולים מורשים הם אלה שבהם כל המשתתפים ידועים מתחילת ביצוע הפרוטוקול. בקישורים למטה, פרוטוקולים מורשים מסווגים עוד יותר בהתאם למודל של מהימנות ההודעות: או סינכרוני, סינכרוני חלקית, או אסינכרוני.  להסבר על מונחים אלה, ראה: "סנכרון, אסינכרוני וסנכרון חלקי"במחשבות מבוזרות. לסיכום התוצאות שהושגו במודלים השונים, ראה את דף רמות מחשבות מבוזרות.

פרוטוקולים סינכרוניים

אנו נמצאים בהגדרה "סינכרוני" כאשר מסירת ההודעות היא אמינה, כלומר, הודעות נמסרות תמיד וקיים איזשהו מגבלה ידועה מוגבלת על הזמן המקסימלי להעברת הודעות. להגדרה רשמית, עיין בקישורים שניתנו לעיל. 

אלגוריתמים מאומתים להסכם ביזנטי (1983) מאת דני דולב וה' ריימונד סטרונג.
יש כאן שתי הוכחות משמעותיות. יש הוכחה שאפשר לפתור את השידור הביזנטי עבור כל מספר של מעבדים פגומים בהינתן תשתית מפתח ציבורי (PKI). להרחבה נוספת של זה, ראה "שידור מאומת של דולב-חזקה"במחשבות מבוזרות. יש גם הוכחה לכך f+1 יש צורך בסיבובים כדי לפתור את השידור הביזנטי אם עד f ייתכן שהמעבדים פגומים. להוכחה פשוטה יותר ראה הוכחה דו-ערכית פשוטה לכך שהקונצנזוס t-Resilient דורש סיבובי t+1 מאת מרקוס אגילרה וסם טואג. 

הוכחות אי אפשריות קלות לבעיות קונצנזוס מבוזרות (1986) מאת מייקל פישר, ננסי לינץ' ומייקל מריט.
ראה גם שיחות אחרונות שמסקרות זאת, מאת אנדרו לואיס-פיי ו טים ראגארדן. 

גבולות על חילופי מידע להסכם ביזנטי (1985) מאת דני דולב ורודיגר ריישוק.
אין זֶה צורות רבות של הוכחת אי-אפשרות בספרות הקונצנזוס. זהו אחד חשוב שמראה כיצד לשים גבול נמוך יותר למספר ההודעות שצריך לשלוח כדי לפתור בעיות קונצנזוס. 

"פרוטוקול המלך של השלב", מתוך העיתון קונצנזוס מבוזר מעט אופטימלי (1992) מאת פיוטר ברמן, חואן גארי וקנת פרי.
אם אתה רוצה לראות פרוטוקול הפותר הסכם ביזנטי בהגדרה סינכרונית ללא PKI, זה כנראה האינפורמטיבי ביותר. לפוסט אחרון בבלוג שמסביר זאת בבירור, ראה "Phase-King מבעד לעדשת Gradecast: הסכם ביזנטי סינכרוני פשוט לא מאומת"במחשבות מבוזרות.

פרוטוקולים סינכרוניים חלקית

בערך, אנחנו נמצאים בהגדרה "סינכרונית חלקית" כאשר מסירת ההודעות היא לפעמים אמינה ולפעמים לא. פרוטוקולים נדרשים כדי להבטיח "בטיחות" בכל עת, אך הם צריכים להיות "חי" רק במרווחים שבהם מסירת ההודעות אמינה. הדרך הסטנדרטית למודל זה היא להניח את קיומו של "זמן ייצוב עולמי" (GST) לא ידוע שלאחריו הודעות תמיד יימסרו בתוך זמן ידוע. להגדרה רשמית, עיין בקישורים בתיבה למעלה. 

קונצנזוס בנוכחות סנכרון חלקי (1988) מאת סינתיה דוורק, ננסי לינץ' ולארי סטוקמאייר.
זהו המאמר הקלאסי שמציג את ההגדרה הסינכרונית חלקית ומוכיח רבות מתוצאות המפתח. 

הרכילות האחרונה על קונצנזוס BFT (2018) מאת איתן בוכמן, ג'אי קוון וזרקו מילושביץ'.
בהינתן המצגת הנכונה, פרוטוקול Tendermint (מתואר במאמר זה) פשוט מספיק כדי שזוהי דרך טובה ללמוד מצב-מכונה-שכפול בהגדרה הסינכרונית חלקית. מצגת פשוטה מאוד ניתן למצוא בקונצנזוס ב-50 עמודים (ראה למעלה), ויש גם מצגות ברורות בשיחות של אנדרו לואיס-פיי ו טים ראגארדן. 

Streamlet: ספר לימוד יעיל בלוקצ'יין (2020) מאת בנג'מין צ'אן ואיליין שי.
מאמר זה מתאר פרוטוקול בלוקצ'יין שתוכנן במיוחד כדי שיהיה קל ללמד אותו. אתה יכול למצוא על זה הרצאה של איליין שי כאן. 

קספר גאדג'ט הסופיות הידידותי (2017) מאת ויטאליק בוטרין ווירג'יל גריפית'.
זהו הפרוטוקול שמהווה את עמוד השדרה של הגישה הנוכחית של Ethereum להוכחת הימור. זוהי בעצם גרסה "משורשרת" של Tendermint. להסבר על "שרשור" עיין בנייר Hotstuff המפורט להלן. 

HotStuff: קונצנזוס BFT בעדשת הבלוקצ'יין (2018) מאת מעופן ין, דליה מלכי, מיכאל ק. רייטר, גיא גולן גואטה ואיתאי אברהם.
זה היה בעצם הפרוטוקול שפרויקט מאזניים של פייסבוק (ששמו דים) התכוון ליישם במקור. היתרון על Tendermint הוא שהפרוטוקול כן מגיב באופטימיות, מה שאומר שניתן לייצר בלוקים מאושרים ב"מהירות רשת" כאשר המנהיגים כנים, כלומר, אין דרישה להקדיש זמן מינימלי מוגדר מראש להפקת כל בלוק מאושר. ניתן לצפות גם בהרצאה של איתי אברהם בנושא כאן. 

צפי לסנכרון עגול ליניארי: החוליה החסרה עבור SMR ליניארי ביזנטי (2020) מאת עודד נאור ועידית קידר.
מאמר זה מתייחס לבעיה עם Hotstuff שהוא אינו מקים שום מנגנון יעיל ל"סנכרון צפייה". זֶה בלוג מאת דליה מלכי ועודד נאור נותנת סקירה כללית של העבודה על בעיית סנכרון התצוגה. ראה גם אופטימיזציה נוספת זו מאת אנדרו לואיס-פיי ואיתאי אברהם.

פקסוס נעשה פשוט (2001) מאת לסלי למפורט.
אם אינך רוצה להיכנס ישר לפרוטוקולי בלוקצ'יין עדכניים כגון Tendermint, אלטרנטיבה היא להתחיל עם Paxos (שלא מטפלת בכשלים ביזנטיים) ואז לעבור ל-PBFT, שהוא הקישור הבא ברשימה שלנו (ומה כן). 

סובלנות לתקלה ביזנטית מעשית (1999) מאת מיגל קסטרו וברברה ליסקוב.
זהו פרוטוקול PBFT הקלאסי. ניתן למצוא הרצאה נהדרת על הפרוטוקול מאת ברברה ליסקוב כאן.

פרוטוקולים אסינכרוניים

בהגדרה "אסינכרוני", הודעות מובטחות להגיע אך עשויות להימשך כל פרק זמן מוגבל. להגדרה רשמית, עיין בקישורים בתיבה למעלה. 

חוסר אפשרות של קונצנזוס מבוזר עם תהליך אחד פגום (1985) מאת מייקל פישר, ננסי לינץ' ומייקל פטרסון.
משפט FLP (על שם המחברים) הוא כנראה תוצאת הבלתי אפשרית המפורסמת ביותר בספרות על פרוטוקולי קונצנזוס: שום פרוטוקול דטרמיניסטי לא פותר הסכם ביזנטי (או SMR) בהגדרה האסינכרונית כאשר אפילו מעבד לא ידוע בודד עשוי להיות פגום. אתה יכול למצוא מצגת נחמדה בהרצאה של טים Roughgarden כאן. 

"השידור של ברכה", הופיע לראשונה בעיתון פרוטוקולי הסכם ביזנטי אסינכרוני (1987) מאת גבריאל ברכה.
אחת הדרכים לעקוף את משפט חוסר האפשרות של FLP היא להחליש את דרישת הסיום. השידור של ברכה הוא פרוטוקול דטרמיניסטי שמתפקד בהגדרה האסינכרונית על ידי פתרון צורה חלשה יותר של שידור ביזנטי שאינו מצריך סיום במקרה שהשדר פגום. בעוד שהשידור של ברכה מופיע לראשונה בעיתון למעלה, העיתון מראה גם כיצד להשתמש בפרוטוקול השידור כדי לפתור הסכם ביזנטי בעזרת אקראיות. אם אתה רק רוצה ללמוד את השידור של ברכה, אז אפשר למצוא מצגת ברורה כאן.

FastPay: יישוב סובלני תקלות ביזנטי בעל ביצועים גבוהים (2020) מאת מתייה בודט, ג'ורג' דנזיס ואלברטו סונינו.
מאמר זה מתאר כיצד ליישם מערכת תשלום בהגדרה האסינכרונית באמצעות שידור אמין (וללא צורך בביצוע הזמנה כוללת). 

אם אתה באמת צריך לפתור הסכם ביזנטי או SMR בהגדרה האסינכרונית, אז תוצאת FLP אומרת שתצטרך להשתמש בצורה כלשהי של אקראיות. בנוסף למאמר של ברכה (המפורטים לעיל), שני הקישורים הבאים הם קלאסיקות מהספרות המתארות כיצד לפתור הסכם ביזנטי באמצעות אקראיות: 

1. יתרון נוסף של בחירה חופשית: פרוטוקולי הסכם אסינכרוני לחלוטין (1983) מאת מיכאל בן-אור
2. אורקלים אקראיים בקונסטנטינופול: הסכם ביזנטי מעשי אסינכרוני באמצעות קריפטוגרפיה (2005) מאת כריסטיאן קאצ'ין, קלאוס קורסאוה וויקטור שופ

הסכם ביזנטי אסינכרוני מאומת עם חוסן אופטימלי ותקשורת זמן ומילה אופטימלית אסימפטוטית (2018) מאת איתי אברהם, דליה מלכי ואלכסנדר שפיגלמן.
דרך חלופית להבנה כיצד לפתור את SMR (והסכם ביזנטי) בהגדרה האסינכרונית היא לקפוץ עם המאמר שלמעלה, אשר משנה את Hotstuff. אם אתה כבר מבין את Hotstuff, אז השינוי הוא די פשוט. אי אפשר להריץ Hotstuff סטנדרטי בהגדרה האסינכרונית מכיוון שלאחר בחירת מנהיג, היריב יכול פשוט למנוע הודעות מאותו מנהיג. מכיוון שצדדים ישרים אינם יודעים אם המנהיג אינו ישר ואינו שולח הודעות, או האם המנהיג ישר והמסרים שלהם מתעכבים, בסופו של דבר הם נאלצים לנסות ולהתקדם בדרך אחרת. כדי לפתור את הבעיה, פשוט נבקש מכל הצדדים לפעול כמנהיגים בו זמנית. ברגע שרוב על של צדדים משלים בהצלחה "תצוגה" סטנדרטית של פרוטוקול Hotstuff, אנו בוחרים בדיעבד מנהיג באקראי. אם הם יצרו בלוק מאושר, אז אנחנו משתמשים בזה, ופוסקים את השאר. 

Dumbo-MVBA: הסכם אסינכרוני ביזנטי אסינכרוני מאומת אופטימלי רב-ערכי, נבדק מחדש (2020) מאת יואן לו, ז'נליאנג לו, צ'יאנג טאנג וגווילינג וואנג.
מאמר זה מייעל את הקודם מאת אברהם, מלכי ושפיגלמן, ומפחית את מורכבות התקשורת הצפויה. 

גירית הדבש של פרוטוקולי BFT (2016) מאת אנדרו מילר, יו שיה, קייל קרומן, איליין שי ו-Dawn Song.

בחיפוש אחר הסכם ביזנטי מאומת אופטימלי (2020) מאת אלכסנדר שפיגלמן.
היתרון של פרוטוקולים אסינכרוניים הוא שהם מסוגלים להתקדם גם כאשר מסירת ההודעות אינה אמינה. חסרון הוא שעלויות התקשורת אינן אופטימליות (באופנים שונים) כאשר תנאי הרשת טובים. המאמר לעיל מתייחס לשאלה "באיזו מידה נוכל לקבל את הטוב משני העולמות". 

פרוטוקולי DAG

יש שפע של עבודה אחרונה על פרוטוקולים מורשים מבוססי DAG. אלה הם פרוטוקולים שבהם קבוצת הבלוקים המאושרים יוצרת גרף א-ציקלי מכוון, במקום להיות מסודר באופן ליניארי. בדרך כלל, אלה פועלים בהגדרות אסינכרוניות או סינכרוניות חלקית. 

בסמינר קריפטו a16z זה, אנדרו לואיס-פיי נותן סקירה של קונצנזוס מבוסס DAG.

ארבעת המסמכים הבאים מתארים פרוטוקולי DAG המשיגים הזמנה כוללת יעילה בעסקאות. DAG-Rider פועלת בהגדרה אסינכרונית ודומה ל-Cordial Miners אך בעלת חביון גבוה יותר ומורכבות תקשורת צפויה (מופחתת) נמוכה יותר. Narwhal הוא פרוטוקול mempool, ו-Tusk הוא פרוטוקול SMR הפועל על גבי Narwhal שמשפר את היעילות של DAG-Rider בהיבטים מסוימים. Bullshark דומה אך מותאם לניצול תנאי רשת טובים כאשר אלה מתרחשים בהגדרה סינכרונית חלקית. 

כל מה שאתה צריך זה DAG (2021) מאת עידית קידר, לפטריס קוקוריס-קוגיאס, עודד נאור ואלכסנדר שפיגלמן.
זה המאמר שמציג את פרוטוקול DAG-Rider. 

Narwhal and Tusk: Mempool מבוסס DAG ו-Efficient BFT Consensus (2022) מאת ג'ורג' דנזיס, לפטריס קוקוריס-קוגיאס, אלברטו סונינו ואלכסנדר שפיגלמן.

Bullshark: פרוטוקולי DAG BFT שנעשו מעשיים (2022) מאת אלכסנדר שפיגלמן, ניל גירידהארן, אלברטו סונינו ולפטריס קוקוריס-קוגיאס.

Cordial Miners: פרוטוקולי הזמנה המבוססים על שרשרת קונצנזוס לכל אירוע (2022) מאת עידית קידר, עודד נאור ואהוד שפירו.
עובדה מהנה היא שלא צריך למעשה בלוקצ'יין כדי ליישם מערכת תשלומים מבוזרת - זו האחרונה היא משימה קלה יותר (ראה מאמר זה להוכחה). לפני ניתוח כיצד לקבוע הזמנה כוללת על עסקאות, המאמר של Cordial Miners לעיל מתאר תחילה פרוטוקול DAG דטרמיניסטי (ואלגנטי מאוד) המיישם בהצלחה תשלומים בהגדרה האסינכרונית. 

פרוטוקולים חסרי רשות 

פרוטוקולים ללא הרשאה הם אלה עם כניסה ללא הרשאה: כל אחד חופשי להצטרף בתהליך של הגעה להסכמה, וקבוצת המשתתפים עשויה להיות אפילו לא ידועה בכל שלב במהלך ביצוע הפרוטוקול. 

Bitcoin: Peer ל- Peer מערכת מזומנים אלקטרוניים (2008) מאת סאטושי נקמוטו.
שמעתם על זה. כאן גם א בלוג מאת Kartik Nayak המנתח באופן אינטואיטיבי את הצורך בהיבטים שונים של הפרוטוקול, כגון הוכחת עבודה, וכיצד סנכרון רשת משחק תפקיד בפרוטוקול. 

Bitcoin וטכנולוגיות מטבע מבוזר (2016) מאת Arvind Narayanan, Joseph Bonneau, Edward Felten, Andrew Miller, and Steven Goldfeder.
ספר הלימוד הזה נותן היכרות נחמדה עם ביטקוין למי שחדש בחלל. יש גם קשור קורס Coursera בחינם. 

ברמה הטכנית יותר, שלושת המאמרים הבאים מנתחים את האבטחה והחיות עבור ביטקוין, תוך שימוש בהנחות דוגמנות שונות במקצת. נייר "Bitcoin Backbone" הוא המפורסם ביותר. סימון כבד מקשה על הקריאה, אבל הרעיון הבסיסי מאחורי ההוכחה אינו מסובך כפי שהוא נראה בתחילה. ההוכחה של Dongning Guo ו-Ling Ren מסבירה את הרעיונות הבסיסיים והיא קצרה ופשוטה יותר. 

1. פרוטוקול עמוד השדרה של ביטקוין: ניתוח ויישומים (2015) מאת חואן גארי, אגלוס קיאיאס וניקוס לאונרדוס.
2. ניתוח פרוטוקול הבלוקצ'יין ברשתות אסינכרוניות (2017) מאת רפאל פאס, ליאור סימן ואבי שלט.
3. ניתוח האבטחה של ביטקוין נעשה פשוט (2022) מאת Dongning Guo ו-Ling Ren.

הכל מרוץ ונאקמוטו תמיד מנצח (2020) מאת אמיר דמבו, סררם קאנן, ארטם נוסרט טאס, דיוויד צה, פראמוד ויסוואנאת, שווצ'או וואנג ועופר זיתוני.
במאמר זה, המחברים מבצעים ניתוח אבטחה אלגנטי עבור ביטקוין שעובד על ידי מראה שההתקפה הברורה ביותר של מירוץ לבניית שרשרת ארוכה יותר היא היעילה ביותר. הניתוח משתרע גם על Ouroboros, SnowWhite, וצ'יה (כולם מפורטים להלן). 

לאחר מכן, שלושת המאמרים הבאים מתארים צורות שונות של התקפה על ביטקוין ואת ה-Ethereum הישן של הוכחת-עבודה. 

הרוב אינו מספיק: כריית ביטקוין היא פגיעה (2014) מאת איתי אייל ואמין גוון סירר.
זהו העיתון הידוע "כרייה אנוכית". 

התקפות Eclipse על רשת Peer-to-Peer של ביטקוין (2015) מאת איתן היילמן, אליסון קנדלר, אביב זוהר ושרון גולדברג.

התקפות Eclipse עם משאבים נמוכים על רשת Peer-to-Peer של Ethereum (2018) מאת יובל מרקוס, איתן היילמן ושרון גולדברג.

FruitChains: בלוקצ'יין הוגן (2017) מאת רפאל פאס ואיליין שי.
המאמר למעלה הוא תגובה לנושא הכרייה האנוכית. המחברים מתארים פרוטוקול כך שהאסטרטגיה הכנה עבור כורים היא סוג של שיווי משקל משוער. 

פריזמה: פירוק הבלוקצ'יין כדי להתקרב לגבולות פיזיים (2019) מאת Vivek Bagaria, Sreeram Kannan, David Tse, Giulia Fanti, ו-Pramod Viswanath.
בביטקוין, בלוקים ממלאים תפקידים מרובים במובן זה שהם משמשים לרשימת עסקאות, אך גם בהגעה לקונצנזוס בהזמנת בלוקים. במאמר שלמעלה, המחברים מפרקים את הבלוקצ'יין של Nakamoto לפונקציות הבסיסיות שלו ומראים כיצד לבנות פרוטוקול הוכחת עבודה עם תפוקה גבוהה והשהייה נמוכה.

שני המסמכים הבאים מראים כיצד ליישם פרוטוקולי הוכחה של השרשרת הארוכה ביותר עם ערבויות שניתן להוכיח. 

1. Ouroboros: פרוטוקול בלוקצ'יין מאובטח להוכחת הימור (2017) מאת אגלוס קיאיאס, אלכסנדר ראסל, ברנרדו דיוויד ורומן אוליניקוב.
2. שלגיה: הסכמה ניתנת להגדרה מחדש ויישומים להוכחת הוכחה מאובטחת (2019) מאת פיל דיאן, רפאל פאס ואיליין שי.

אלגוראנד: קנה מידה של הסכמים ביזנטיים עבור מטבעות קריפטו (2017) מאת יוסי גלעד, רותם חמו, סילביו מיקלי, גאורגיוס ולאכוס וניקולאי זלדוביץ'.
מאמר זה מראה כיצד ליישם פרוטוקול קלאסי בסגנון BFT כפרוטוקול הוכחת הימור. הנה הרצאה על אלגורנד מאת סילביו מיקאלי.

שילוב של GHOST וקספר (2020) מאת Vitalik Buterin, Diego Hernandez, Thor Kamphefner, Khiem Pham, Zhi Qiao, Danny Ryan, Juhyeok Sin, Ying Wang, and Yan X Zhang.

שלוש התקפות על Ethereum הוכחת הימור (2022) מאת Caspar Schwarz-Schilling, Joachim Neu, Barnabé Monnot, Aditya Asgaonkar, Ertem Nusret Tas, and David Tse.
הגרסה הנוכחית של Ethereum זקוקה לניתוח נוסף. מאמר זה מתאר כמה התקפות. 

רשת צ'יה בלוקצ'יין (2019) מאת ברם כהן וקשישטוף פייטרזק.
מאמר זה מראה כיצד לבנות פרוטוקול השרשרת הארוך ביותר באמצעות הוכחה של מקום וזמן.

גנרלים ביזנטיים בסביבה ללא רשות (2021) מאת אנדרו לואיס-פיי וטים רוגארדן.
במאמר זה, המחברים מפתחים מסגרת לניתוח של פרוטוקולים חסרי הרשאה המאפשרת לעשות דברים כמו הוכחת תוצאות בלתי אפשריות עבור פרוטוקולים חסרי הרשאה, ולהגדיר בבירור את היכולות הכלליות של פרוטוקולי הוכחת עבודה והוכחת סיכון. . 

***

אנדרו לואיס-פיי הוא פרופסור בבית הספר לכלכלה של לונדון. הוא עבד בתחומים שונים, כולל לוגיקה מתמטית, מדעי הרשת, גנטיקה של אוכלוסיות ובלוקצ'יין. בארבע השנים האחרונות ההתמקדות המחקרית שלו הייתה בבלוקצ'יין, כאשר תחומי העניין העיקריים שלו הם פרוטוקולי קונצנזוס וטוקונומיקה. אתה יכול למצוא אותו בטוויטר @AndrewLewisPye .

תודות: רבים טתודה ללינג רן, איתי אברהם, קרטיק נאיאק, ולריה ניקולאנקו, אלכסנדר שפיגלמן, ו מתיו בודט להצעות שימושיות. 

***

הדעות המובעות כאן הן אלה של אנשי AH Capital Management, LLC ("a16z") המצוטטות ואינן הדעות של a16z או החברות הקשורות לה. מידע מסוים הכלול כאן התקבל ממקורות צד שלישי, כולל מחברות פורטפוליו של קרנות המנוהלות על ידי a16z. למרות שנלקחה ממקורות האמינים כאמינים, a16z לא אימתה מידע כזה באופן עצמאי ואינה מציגה מצגים לגבי הדיוק המתמשך של המידע או התאמתו למצב נתון. בנוסף, תוכן זה עשוי לכלול פרסומות של צד שלישי; a16z לא סקרה פרסומות כאלה ואינה תומכת בתוכן פרסומי כלשהו הכלול בהן.

תוכן זה מסופק למטרות מידע בלבד, ואין להסתמך עליו כייעוץ משפטי, עסקי, השקעות או מס. עליך להתייעץ עם היועצים שלך באשר לעניינים אלה. הפניות לניירות ערך או לנכסים דיגיטליים כלשהם נועדו למטרות המחשה בלבד, ואינן מהוות המלצת השקעה או הצעה לספק שירותי ייעוץ השקעות. יתר על כן, תוכן זה אינו מכוון ואינו מיועד לשימוש על ידי משקיעים או משקיעים פוטנציאליים כלשהם, ואין להסתמך עליו בשום פנים ואופן בעת ​​קבלת החלטה להשקיע בקרן כלשהי המנוהלת על ידי a16z. (הצעה להשקעה בקרן a16z תתבצע רק על ידי מזכר ההנפקה הפרטית, הסכם המנוי ותיעוד רלוונטי אחר של כל קרן כזו ויש לקרוא אותה במלואה). המתוארים אינם מייצגים את כל ההשקעות בכלי רכב המנוהלים על ידי a16z, ואין כל ודאות שההשקעות יהיו רווחיות או שלהשקעות אחרות שיבוצעו בעתיד יהיו מאפיינים או תוצאות דומות. רשימה של השקעות שבוצעו על ידי קרנות המנוהלות על ידי אנדריסן הורוביץ (למעט השקעות שעבורן המנפיק לא נתן אישור ל-a16z לחשוף בפומבי וכן השקעות בלתי מוקדמות בנכסים דיגיטליים הנסחרים בבורסה) זמינה בכתובת https://a16z.com/investments /.

תרשימים וגרפים המסופקים בתוכן הם למטרות מידע בלבד ואין להסתמך עליהם בעת קבלת החלטת השקעה כלשהי. ביצועי העבר אינם מעידים על תוצאות עתידיות. התוכן מדבר רק לתאריך המצוין. כל תחזיות, אומדנים, תחזיות, יעדים, סיכויים ו/או דעות המובעות בחומרים אלו כפופים לשינויים ללא הודעה מוקדמת ועשויים להיות שונים או מנוגדים לדעות שהובעו על ידי אחרים. אנא ראה https://a16z.com/disclosures למידע חשוב נוסף.

• הפצת תוכן ויחסי ציבור מופעל על ידי SEO. קבל הגברה היום.
• Platoblockchain. Web3 Metaverse Intelligence. ידע מוגבר. גישה כאן.
• מקור: https://a16zcrypto.com/consensus-canon/