Brevis a introduit un nouveau modèle « calcul hors chaîne, vérification sur chaîne », intégrant à la fois des techniques d'optimisation généralistes et spécialisées. Cette approche, similaire à celles utilisées par Eigenlayer, Succinct et ZkSync, est renforcée par les technologies uniques de Brevis. Le Pico zkVM permet aux développeurs de coder en Rust sans nécessiter d'expertise en preuve à connaissance nulle (ZK), tandis que le coprocesseur de données ZK facilite l'analyse efficace des données historiques pour les contrats intelligents. Une fonctionnalité remarquable, Pico Prism, améliore considérablement la vérification de la couche 1 d'Ethereum, atteignant une couverture de 99,6 % en moins de 12 secondes pour des blocs de 45 millions de gas. Brevis a généré avec succès 147,5 millions de preuves ZK et compte une base d'utilisateurs dépassant les 190 000, avec des partenariats stratégiques avec Metamask et Linea.