Circle STARKs:Giải pháp ZK hiệu quả dưới tối ưu hóa trường nhỏ

robot
Đang tạo bản tóm tắt

Khám phá Circle STARKs

Trong những năm gần đây, xu hướng thiết kế giao thức STARKs đã chuyển sang việc sử dụng các trường nhỏ hơn. Các triển khai STARKs ban đầu sử dụng trường 256 bit, nhưng thiết kế này có hiệu quả thấp. Để nâng cao hiệu quả, STARKs đã bắt đầu sử dụng các trường nhỏ hơn, như Goldilocks, Mersenne31 và BabyBear.

Vitalik mới: Khám phá Circle STARKs

Việc sử dụng các trường nhỏ có thể tăng tốc độ chứng minh một cách đáng kể. Ví dụ, Starkware có thể chứng minh 620,000 hàm băm Poseidon2 mỗi giây trên máy tính xách tay M3. Điều này có nghĩa là chỉ cần tin tưởng Poseidon2 như một hàm băm, vấn đề của ZK-EVM hiệu quả có thể được giải quyết.

Vitalik mới: Khám phá Circle STARKs

Tuy nhiên, việc sử dụng các trường nhỏ cũng mang lại những thách thức mới. Trong trường 256 bit, có thể chọn một số ngẫu nhiên 256 bit làm tham số xác thực. Trong khi đó, trong các trường nhỏ từ 20-30 bit, giá trị có thể chọn quá ít, dễ dàng bị kẻ tấn công liệt kê và phá vỡ.

Vitalik tác phẩm mới: Khám phá Circle STARKs

Để giải quyết vấn đề này, có hai phương án:

  1. Thực hiện nhiều lần kiểm tra ngẫu nhiên
  2. Trường mở rộng

Nhiều lần kiểm tra ngẫu nhiên đơn giản và hiệu quả, nhưng sẽ giảm hiệu suất. Trường mở rộng thì tương tự như số nhiều, giới thiệu cấu trúc toán học mới để tăng giá trị tùy chọn.

Vitalik tác phẩm mới: Khám phá Circle STARKs

Circle STARKs đã áp dụng một giải pháp mở rộng trường tinh vi. Nó xây dựng một nhóm có đặc tính hai trên một nhóm của số nguyên tố p, với kích thước là p. Điểm của nhóm này tuân theo quy tắc cộng đặc biệt, tương tự như phép nhân số phức.

Vitalik mới: Khám phá Circle STARKs

Circle STARKs sử dụng cấu trúc nhóm đặc biệt này, thực hiện thuật toán FRI và FFT hiệu quả. Nó có thể hoạt động trên trường Mersenne31, tận dụng lợi thế của số nguyên tố 31 bit.

Vitalik mới: Khám phá Circle STARKs

So với STARKs thông thường, Circle STARKs có sự khác biệt ở những điểm sau:

  • Sử dụng phương pháp tính toán thương mại đặc biệt
  • Sử dụng đa thức biến mất khác nhau
  • Điều chỉnh thứ tự đảo ngược

Tổng thể mà nói, Circle STARKs giữ được tính đơn giản của khái niệm, đồng thời cung cấp hiệu suất xuất sắc. Đây là một giải pháp tối ưu hóa STARK đầy triển vọng, xứng đáng được nghiên cứu và ứng dụng thêm.

Vitalik tác phẩm mới: Khám phá Circle STARKs

Tương lai, tối ưu hóa STARK có thể sẽ tập trung vào:

  1. Tối ưu hóa hàm băm và các nguyên thủy mật mã cơ bản
  2. Sử dụng cấu trúc đệ quy để tăng cường tính song song
  3. Cải thiện máy ảo để tối ưu hóa trải nghiệm phát triển

Vitalik mới: Khám phá Circle STARKs

Xem bản gốc
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Phần thưởng
  • 4
  • Chia sẻ
Bình luận
0/400
ChainMaskedRidervip
· 16giờ trước
stark xông lên, làm cho nổ tung
Xem bản gốcTrả lời0
BoredApeResistancevip
· 23giờ trước
stark chơi thật lòe loẹt
Xem bản gốcTrả lời0
WhaleWatchervip
· 23giờ trước
Cũng khá đấy, đã tăng ba lần rồi.
Xem bản gốcTrả lời0
OfflineValidatorvip
· 23giờ trước
Chi phí dự án không phải chỉ là phí giao dịch sao? Nói sớm không phải đã xong rồi sao?
Xem bản gốcTrả lời0
  • Ghim
Giao dịch tiền điện tử mọi lúc mọi nơi
qrCode
Quét để tải xuống ứng dụng Gate
Cộng đồng
Tiếng Việt
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)