Report progress events from STM during long proving sequences

Đang mở
  • Có gì không ổn?
#3,426 3 bình luận 0 reaction 0 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 2 ngày

Chưa có ai nhận issue này.

Đánh giá

Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
48/100
Loại issue
Tính năng
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Ít trao đổi
Công nghệ
rust
Lĩnh vực
cryptography, observability

Hướng nghiên cứu

Bắt đầu bằng cách đọc aggregate_signatures_with_type trong protocol/aggregate_signature/clerk.rs và IVC prover trong proof_system/ivc_halo2_snark/proof.rs. Theo dõi việc tải SRS, tải hoặc tính toán circuit-key, proof của certificate và các bước của recursive proof để xác định các progress event và đường truyền của chúng. Được xem là hoàn tất khi callers có thể nhận hoặc bỏ qua các event và logs của aggregator tiêu thụ chúng.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

cryptography :closed_lock_with_key: to-groom :thinking:

Why

mithril-stm is silent. An aggregation that loads the SRS, loads or computes two sets of circuit keys and produces a certificate proof followed by a recursive proof can run for a long time with no visible progress, which makes an operator unable to tell a slow run from a stuck one.

What

Expose progress events from the long running operations, so a caller can log them or surface them as metrics.

How

  • Define the event set covering the SRS load, the key load or computation, and the proving steps
  • Expose the events through a channel or a callback, with a no-op default
  • Emit them from aggregate_signatures_with_type (protocol/aggregate_signature/clerk.rs) and from the IVC prover (proof_system/ivc_halo2_snark/proof.rs)
  • Consume them in the aggregator logs
Ngôn ngữ chính
Rust
Star
155
Fork
52
Merge trung bình
2 ngày 17 giờ
Pull request đã merge (30 ngày)
37

Chuẩn bị môi trường

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của IntersectMBO/mithril

Tất cả issue của IntersectMBO/mithril

Issue tương tự

Thêm issue về Rust

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.