iLocking Kft. — הנדסת מערכות קריטיות
מערכות שאסור להן ליפול.
נכונוּת בכל קנה מידה.
שלוש דיסציפלינות נפגשות כאן. עסקים — 20 שנה בתוך עולמות הבנקאות, הסליקה ושוקי האנרגיה — שם למדנו מה תהליך באמת שווה. קריפטוגרפיה — 15 שנות תכנון פרוטוקולים, עד כדי סכמות שהמצאנו בעצמנו. הנדסה — מערכות מבוזרות שגדלות לינארית ורצות עשרות שנים. רוב החברות מציעות אחת מהשלוש. מערכות קריטיות דורשות את שלושתן — באותו חדר, סביב אותו שולחן.
- 25 שנה
- ותק החברה
- 20 שנה
- בפיתוח תוכנה קריטית
- 15 שנה
- הנדסה קריפטוגרפית
- ה-1
- פלטפורמת ליבה בנקאית מבוססת בלוקצ'יין מאחורי מוסד כסף אלקטרוני בעל רישיון באיחוד האירופי
- ה-1
- רישיון MiCA במדינה חברה באיחוד האירופי — בהנדסה שלנו
מה אנחנו עושים
ארכיטקטורה ומסירה של מערכות קריטיות
מדף חלק ועד פרודקשן: מפרטים שבנק יכול לבנות מהם, ארכיטקטורות שרגולטור יכול לקרוא, מסירה שעולה לאוויר. הנהלת חשבונות אנליטית, מנועי סליקה, פלטפורמות בק-אופיס.
ארכיטקטורה ומסירה 02אלגוריתמים ומערכות מבוזרות
קונצנזוס, רפליקציה, מכונות מצבים, צינורות מונחי-הודעות. מערכות טרנזקציוניות בתפוקה גבוהה, מתוכננות לשחזור מלא, לביקורת וליום הרע — לא רק לדמו.
מערכות מבוזרות 03קריפטוגרפיה יישומית
15 שנים של זה: חתימות סף, יצירת מפתחות הניתנת לאימות פומבי, מסלולי מעבר לעמידות קוונטית, מערכות הוכחה בגודל הבעיה. ניתן להוכחה, ניתן לסקירה, משעמם בכוונה תחילה — וחלק מזה פורסם כפרוטוקולים משלנו.
קריפטוגרפיה יישומיתאיפה זה רץ
מערכות ליבה פיננסיות
ליבה בנקאית, סליקת ניירות ערך, פקטורינג, הנהלת חשבונות של קרנות פנסיה. שכבת האמת של עולם הפיננסים: ספרים אנליטיים והספר הראשי שמתחתם.
אנרגיה וסחורות
מערכות רישום, סליקה ורכש לשוקי אנרגיה. מוכח בצד החשמל — סליקת בורסה, מכרזי כושר איזון, פרסום לפלטפורמת השקיפות האירופית — ובנוי לשאת גז, נפט וסחורות נוספות באותה משמעת.
נכסים דיגיטליים מפוקחים
Web3 בלי הרעש: פלטפורמות בעלות רישיון MiCA, טוקניזציה עם ספר חשבונות אמיתי מאחוריה, תפעול שמביא את DORA בחשבון.
מגזר ציבורי וביטחון
היכן ששלמות התהליך היא המשימה: הליכים חתומים ששום מפעיל אינו יכול לפתוח לפני הזמן, שרשראות פיקוד והרשאה שנאכפות במתמטיקה, ציות שניתן להוכיח לגורמים חיצוניים — בלי למסור את הנתונים. הקפדנות הזו קיימת כבר היום; זה התחום שבו היא תיושם בשלב הבא.
הוכחות — שורה אחת לכל אחת
- 01
פלטפורמת ליבה בנקאית שתוכננה מדף חלק עבור אחת מקבוצות הבנקאות הגדולות במרכז אירופה — מניהול משתמשים ועד הספר הראשי.
- 02
מפרט סליקה וסילוקין לבורסת חשמל לאומית; אופטימיזציה של מכרזי אנרגיית איזון עבור מפעיל הרשת הלאומי, עם פרסום לפלטפורמת השקיפות האירופית.
- 03
מנוע ההסכמים והחישובים של פעילות פקטורינג, שנגזר מעקרונות יסוד — ריביות משתנות, תשלומים משתנים, פתרון לכל נעלם שהוא.
- 04
מערכת מדור חדש לבנקאות ליבה ולניהול חשבונות, בתכנון ובבנייה שלנו: ספר ראשי מקוון, מבוזרת מאוד, מדרגית לינארית — צומת ממוצע על 2 מעבדים ו-4 GB RAM רושם 10–15,000 עסקאות בשנייה ומשרת 100,000 חשבונות לקוח. היא רצה היום מתחת לרישיון ה-MiCA הראשון של מדינה חברה באיחוד האירופי.
- 05
מחקר פתוח שפורסם: NPVDKGRS — יצירת מפתחות מבוזרת, לא-אינטראקטיבית וניתנת לאימות פומבי מעל BLS12-381; גרסה פוסט-קוונטית כבר מתוכננת. — NPVDKGRS
- 06
הפרוטוקולים שלנו בעולם האמיתי: פרוטוקול Pactena ו-Qashmore — מזומן דיגיטלי פרטי, עם יכולת עבודה גם ללא חיבור, שבו הונאה חושפת את עצמה. — Pactena Protocol · Qashmore
משעמם, במובן הטוב של המילה.
מערכות קריטיות צריכות להיות משעממות: דטרמיניסטיות, ניתנות לביקורת, מותאמות עד האגורה ועד המגה-ואט-שעה. את העשור הראשון שלנו הקדשנו לכך שהפיננסים הקלאסיים יהיו כאלה — ניהול חשבונות, סליקת ניירות ערך, הנהלת חשבונות של קרנות פנסיה, שוקי חשמל. את העשור האחרון הקדשנו להוכחה שאותה משמעת מחזיקה גם בעולם החדש: מערכת בנקאות ליבה מדור חדש עם ספר ראשי מקוון, מבוזרת ומדרגית לינארית; ניהול מפתחות סף שבו המפתח הפרטי השלם אינו קיים מעולם; משמורת נכסים דיגיטליים שעמדה בבחינת רישוי MiCA. טכנולוגיה חדשה מתקבלת כאן בברכה — אחרי שהיא עוברת את אותה ביקורת כמו הישנה.
הדיגיטציה האמיתית עוד לא התחילה.
מה שנחשב היום דיגיטציה הוא תהליכי נייר שהוקרנו על מסכים — אותם דפי מעקב, אותה המתנה, רק עם דפי התחברות. איים דיגיטליים, תפורים זה לזה בדוא״ל. אנחנו בונים במקום זאת תהליכים שנולדו דיגיטליים: החתימה, ההרשאה, ההעברה והארכיון יוצרים שרשרת אחת מוגנת מתמטית. זמן הטיפול צונח מימים לשניות, כל צעד משאיר ראיה — והראיה עובדת לשני הכיוונים:
מניפסט
הנתונים נשארים. ההוכחה נוסעת.
רשומות רגישות אינן עוזבות לעולם את בעליהן. מה שעוזב הוא הוכחה — שהעסקה בוצעה, שהמועד נשמר, שהכללים קוימו — הוכחה שכל אחד יכול לאמת ושאינה חושפת דבר. מערכות ניתנות לביקורת בלי לפתוח את המעטפה.
המבחן שלנו ל"מערכת קריטית"
שלוש שאלות מכריעות איך אנחנו בונים:
- 01
אם היא עוצרת — מי שם לב, וכמה מהר?
- 02
אם היא טועה — מי משלם, וכמה?
- 03
אם היא מבוקרת — מה מראה נתיב הביקורת?
אם התשובות מפחידות אתכם, כדאי שנדבר.