עבודות נבחרות
מתואר בלי שמות לקוחות. המערכות של לקוחותינו הן העסק שלהם; ההנדסה — שלנו לספר. הסקטורים וסדרי הגודל מדויקים; הזהויות מושמטות בכוונה. המחקר והפרוטוקולים שלנו נקובים בשמם — כי הם שלנו.
פלטפורמת ליבה בנקאית מאפס: ניהול משתמשים ומודלים של מכשירים, מנועי מוצרים, מיכלי חשבונות ויתרות, עיבוד עסקאות ומיפוי הספר הראשי שמתחת לכל אלה. אנחנו כתבנו את המפרט ותכננו את ליבת הנהלת החשבונות האנליטית — החלק שבו כל תנועת כסף הופכת לרישום — ובנינו מעליה את אפליקציית הלקוח ואת ה-API שלה. תוכנית רב-שנתית, תקנים שנכתבו על ידינו, מ-UML ועד סקירת קוד.
סליקה וניהול חשבונות לניירות ערך: הקצאות, טיפול בהוראות, עיבוד דפי בנק, אירועי חברה (corporate actions), הנהלת חשבונות של משמורת. ניהול פוזיציות ומלאי עם שערוך ורווח והפסד — כולל תכנון ניהול מלאי מבוזר שבו רווח והפסד ניתנים לחישוב בלי לרשום דרך חשבונות הלקוח. מערכות בפרודקשן יומיומי בכמה וכמה מוסדות, מלוטשות גרסה אחר גרסה במשך יותר מעשור — מהסוג של תוכנה שמאריכה ימים אחרי תחנות העבודה שמהן הותקנה.
המודול שבו הסכמים מתומחרים: נוסחת נסיגה עם ריבית משתנה ותשלומים משתנים, הנפתרת לכל גודל שהמשא ומתן דורש — תשלום, ריבית, ניכיון או תקופה. נגזר מעקרונות יסוד, נבנה כאב-טיפוס ב-MATLAB, אומת מול דוגמאות עבודה של הצד העסקי עצמו ואושר על ידי האנשים שמתמחרים הסכמים למחייתם.
הלב הלא זוהר של חיסכון ארוך טווח: מרשמי יחידות, הנהלת חשבונות אנליטית, אינטגרציה לספר הראשי, שערוך והתאמות. עשרות שנים של יתרות עמיתים שחייבות להיות נכונות עד הפורינט האחרון.
מבט מובנה מתחת למכסה המנוע של התפעול המשרת עסקים קטנים ובינוניים: תהליכים, מערכות, פערים, וכמה יעלה לתקן אותם. התוצר שנמסר היה בהירות.
בתוך ארגון הנדסי גדול, בניית הכלים שמשגיחים על המודלים שמשגיחים על הכסף. עבודת full-stack בסביבה שמרכזה Python, אג'ייל בקנה מידה גדול, עם חובות הביקורת של מוסד בעל חשיבות מערכתית.
פלטפורמה מונחית מחקר, המיישמת מתמטיקה מבוססת גאומטריה פרקטלית על נתוני נרות — זיהוי מבנים וחיזוי, מהונדסים כמוצר ולא כמחברת מחקר.
מערכת הרישום המרכזית של הצד הכספי בשוק חשמל: פוזיציות, מחירים, ריצות סליקה, ביטחונות. משמעת הנהלת חשבונות ברמה בנקאית, מיושמת על מגה-ואט-שעה — אותה קפדנות שאנחנו מביאים לכל סחורה שנסלקת דרך מרשם.
תמיכה טכנולוגית ברכש שירותים ברמת המערכת: מכרזי כושר איזון יומיים נקלטים, מוערכים במנוע אופטימיזציה מבוסס MATLAB — פונקציית המטרה הייתה מורכבת מכדי היפוך אנליטי, ולכן היא נפתרת נומרית — והתוצאות מתפרסמות למערכות המפעיל ולפלטפורמת השקיפות האירופית. תהליכי העברת קיבולת עם בדיקות סבירות, כי בשוק הזה מספר בלתי סביר אינו טעות הקלדה, הוא אירוע חריג.
מערכת מדור חדש לבנקאות ליבה ולניהול חשבונות עם ספר ראשי מקוון — מבוזרת מאוד ומדרגית לינארית, כשצומת ממוצע על 2 מעבדים ו-4 GB RAM רושם 10–15,000 עסקאות בשנייה ומשרת 100,000 חשבונות לקוח. מעליה: משמורת נכסים דיגיטליים עם הנהלת חשבונות אנליטית אמיתית מאחורי כל יתרה, וניהול מפתחות סף הבנוי על סכמת המפתחות שפרסמנו בעצמנו. הפלטפורמה עמדה בבחינה שמסתיימת ברישיון MiCA — הראשון מסוגו אצל הרגולטור שלה, בהכרה פומבית של הבנק המרכזי המפקח.
תשתית צד-שרת מאוחדת לנאמנות דיגיטלית ולתשלומים אלקטרוניים בסכומים קטנים: מקום אחד לנקודות, לקופונים, לכרטיסי מתנה ולחשבון כסף אלקטרוני, עם ייזום עסקאות — לא רק הצגת יתרה. לוגיקת חשבונות התומכת בחשבונות מקושרים בתוך משק בית. תוכנן אל מול תקני התשלומים של ISO ודרישות אבטחת הנתונים של סכמות הכרטיסים.
אלה שלנו — ולכן יש להם שמות.
סכמה לא-אינטראקטיבית וניתנת לאימות פומבי ליצירת מפתחות מבוזרת ולחלוקתם מחדש מעל BLS12-381: צדדים בלתי תלויים יוצרים מפתח סף, כל אחד יכול לאמת כל צעד, בלי סבבים אינטראקטיביים — והמפתח הפרטי השלם אינו קיים בשום מקום, לעולם. נסקרה על ידי קריפטוגרפים אקדמיים, פורסמה בקוד פתוח, ורצה היום מתחת לפלטפורמה בעלת רישיון MiCA. כשמחזיק מפתח מתחלף, החלקים מחולקים מחדש בתוך שניות — בלי טקס, בלי HSM. גרסה פוסט-קוונטית מבוססת סריגים מתוכננת וממתינה למימוש.
זכויות כעובדות קריפטוגרפיות ולא כשורות בבסיס נתונים: מי רשאי לפעול, מי פעל בפועל, ומתי — ניתן להוכחה בפני בוחן מורשה. חתימות סף מוסדיות הופכות החלטות לכאלה שנושאות באחריות, ובה בעת מגינות על היחידים שמאחוריהן מלחץ ממוקד. תוכנן להליכים שבהם יש להדגים שלמות תהליך לגורמים חיצוניים — הגשות חתומות שניתן להוכיח שלא נפתחו, נתיבים משורשרים שכל שיבוש בהם מותיר עקבות גלויים, ציות המודגם בהוכחות ברוח אפס ידיעה בלי למסור את הנתונים.
Two-phase commit בלי שרת ניהול עסקאות מרכזי. הסרת המתאם מסירה את צוואר הבקבוק ואת נקודת הכשל היחידה — וזה מה שהופך את המדרגיות הלינארית לכנה: מוסיפים צומת, מקבלים תפוקה של צומת. הפרוטוקול עומד בבסיס עיבוד העסקאות שאנחנו בונים לעומסי ניהול חשבונות.
תשלומים פרטיים, מיידיים, עם יכולת עבודה גם ללא חיבור — ועם התכונה שהוצאת אותו כסף פעמיים חושפת מתמטית את הרמאי. הוכחות ייעודיות ברוח אפס ידיעה מספקות אימות בפחות מ-100 מילישניות, בלי מעגלי הוכחה גנריים. Pactena הוא הפרוטוקול; Qashmore הוא המוצר: מזומן דיגיטלי, ויותר מזה.