PRODUCTS

DEVELOPERS

UPDATES

COMPANY

Jibril Saffi

Jibril Saffi

Senior Compiler Engineer

Senior Compiler Engineer

Interfaces and Dynamic Dispatch in Leo

Products

Shield Leo Explorer

© PROVABLE 2026

Developers

Playground SDK ARCs snarkOS snarkVM Documentation

UPDATES

Blog Twitter/X Discord LinkedIN

Company

Careers Terms Privacy