Stark Recursion là gì và chúng mang đến các cải tiến như thế nào?

Stark Recursion là một tính năng vừa được thêm vào Sharp - nơi tạo các bằng chứng trên StarkNet. Mọi bằng chứng của nhiều tx khác nhau có thể được tổng hợp thành một bằng chứng duy nhất và gửi đến L1.

• Quy trình mở rộng STARK thông thường:

• Off-Chain:

1. Xác thực tính đúng đắn của giao dịch.

2. Tạo bằng chứng cho việc xác thực này.

• On-chain:

3. Xác minh bằng chứng trên.

• Quy trình khi tích hợp thêm Recursion (Đệ Quy)

• Off-chain:

1. Xác thực tính đúng đắn của giao dịch

2. Tạo bằng chứng cho việc xác thực này

3. Recursion sẽ được tích hợp tại bước này: tiếp tục xác thực các bằng chứng trên và tạo bằng chứng cho việc xác thực này. Lặp đi lặp lại quá trình này. Nghĩa là một số bằng chứng của các lô giao dịch khác nhau sẽ được xác thực sau đó được cuộn lại với nhau thành một bằng chứng duy nhất và gửi đến L1 Ethereum.

• On-Chain:

4. Xác minh bằng chứng cuối cùng.

• StarkWare thực hiện bước chứng minh Đệ quy này off-chain, vì vậy chi phí cho quy trình này sẽ thấp. Ngoài ra, sử dụng Cairo Program cho phép tối ưu hóa Đệ quy.

• Kết quả của việc thêm bước Đệ quy vào quy trình xác thực:

• Chúng ta nén các giao dịch thành một bằng chứng, sau đó nén một số bằng chứng lại với nhau thành một bằng chứng duy nhất —> Hyper-scaling

• Xây dựng L3 trên L2 tương tự như L2 trên L1, nghĩa là L2 sẽ được xây dựng để nhận các bằng chứng từ các lô giao dịch từ L3 và xác thực —> Tạo tiền đề phát triển L3

https://t.co/92zxdv1N3L