Tôi tin rằng các quy trình chứng minh trừu tượng đã có mặt; được thấy trong việc tính toán off-chain của zkProofs và sự tổng hợp của những chứng minh này. Vì quy trình này là bất đồng bộ, nó cho phép chuỗi tiếp tục xử lý các hoạt động khác, tương tự như cách một số dịch vụ đám mây hoạt động. Nó đã có mặt. Khi việc chứng minh trở nên có thể mở rộng và linh hoạt, tài nguyên tính toán sẽ được sử dụng tốt hơn, và chúng ta sẽ thấy hiệu suất phần cứng và hiệu suất cao hơn. @fermah_xyz