اليوم ، أطلقنا TOPLOC: مخطط تجزئة حساس للمنطقة للاستدلال القابل للتحقق - يكتشف التعديلات على النماذج أو المطالبات أو الدقة - قوي عبر أنواع GPU والتكوينات المتوازية للموتر ونواة الانتباه - تحقق من صحة أسرع بمقدار 100× من الجيل - يقلل من النفقات العامة للذاكرة من الإثباتات بمقدار 1000× بناء الأساس لبروتوكولات الحوسبة اللامركزية التي يمكن التحقق منها.