StarkWare, một công ty phát triển công nghệ bằng chứng không kiến thức, đã thông báo rằng Recursive Proving, một bằng chứng đệ quy được cung cấp bởi máy tính đa năng của Cairo, hiện đã có trên mạng chính, có thể mở rộng các ứng dụng StarkEx và StarkNet thông qua một bằng chứng duy nhất. Ưu điểm của bằng chứng đệ quy bao gồm giảm chi phí trên chuỗi bằng cách nén nhiều bằng chứng thành 1, giảm độ trễ và mở ra khả năng gửi bằng chứng tới StarkNet vì các câu lệnh có thể được đưa vào hợp đồng thông minh StarkNet, cho phép Xây dựng triển khai L3 trên đầu trang nó.