הסכמה על המוניטין של הצומת. זה הכרחי?

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

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

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

אבולוציה מסינכרוני לא-סינכרוני

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

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

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

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

יישום גיאומטרי של זיהוי/טיפול בקונפליקט. בלוק מתנגש יוצר אריח משטח נוסף. אנו מסירים אריחי משטח נוספים כדי לשמור על משטח אירוע שטוח (=ללא קונפליקטים).

קונצנזוס מבוסס על מוניטין

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

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

קנה מידה חלקי/מלא של צומת

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

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

Hylochain - תמיכה באפליקציה מבוססת ערוצים

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

שני ערוצים סטנדרטיים "תואמים" דרך רשת $DAG. הם יכולים ליצור אינטראקציה או להתפרש מכיוון ששניהם "משולבים" עם $DAG על ידי פריסת צמתים היברידיים של $DAG + ערוץ.

הסיבה שזה נקרא Hylochain היא בגלל שהגישה שלנו לתמיכה ביישומים השתמשה במודל התכנות הפונקציונלי של Recursion Schemes כדי ליצור את ממשק MapReduce. בפרט, ניתן לשלב את סכימות הרקורסיה של Hylomorphism ו- Metamorphism ליצירת שאילתות ניתנות לאימות וחיבורי זרימה על פני ערוצים מקוריים על ידי אימות סוגי נתונים אלגבריים באותו אופן שבו מאומתים קודי הפעלה עבור חוזים חכמים. התוצאה הסופית היא ממשק MapReduce פונקציונלי המוכר למהנדסי נתונים ותואם לטכנולוגיית Big Data הקיימת.

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

Tokenomics והקשר שלה עם Hylochain

לאחר יצירת ערוץ מקורי, ניתן לשלב אותו בערוץ $DAG, אך באמצעות ממשק ACI או Application Chain. ממשק זה הוא פשוט אובייקט JSON עם מידע תצורה ומפתח ציבורי המשויך לערוץ עצמו. הסיבה שאנו משייכים מפתח ציבורי לערוץ רגיל היא ליצור מנגנון תיווך עבור נתוני הערוץ הרגיל. כאשר הערוץ הרגיל נפרס, מפתחים מגדירים לעצמם את אופן הפצת התשלומים מרשת $DAG בין צמתים ומפעילים.

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

מקור: www.habr.com