Review the fairness of the single signature selection algorithm for the non-recursive SNARK
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ó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 38/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
- blockchain, cryptography
Hướng nghiên cứu
Trước tiên, hãy đọc proof_system/halo2_snark/clerk.rs và các test hiện có cho select_valid_signatures_for_k_indices. Mô hình hóa và mô phỏng xác suất lựa chọn theo stake và các lottery đã thắng, sau đó đánh giá ảnh hưởng của signer. Công việc được coi là hoàn tất khi có báo cáo fairness, có điều chỉnh nếu phát hiện bias và có các property test bao quát kết quả.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Why
select_valid_signatures_for_k_indices picks the signatures that enter the proof by hash priority, then deduplicates by keeping the smallest hash per index. The algorithm is deterministic and tested, but its fairness across signers over many epochs has not been analyzed.
What
Analyze the selection algorithm for fairness and for manipulability, and adjust it if the analysis calls for it.
How
- Model the selection probability per signer as a function of the stake and of the number of won lotteries
- Check whether a signer can influence its own selection odds
- Simulate the selection over many epochs and report the distribution
- Propose an adjustment if a bias is found, and cover it with property tests (
proof_system/halo2_snark/clerk.rs)
Later
- Could we extend this work to the concatenation proof?
- Impact on https://github.com/IntersectMBO/mithril/issues/2913?
- 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
- Không có Dockerfile hay tệp Docker Compose
- Có mẫu pull request
- Đọc hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- 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.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của IntersectMBO/mithril
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 64/100
IntersectMBO/mithril#1605 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 2 ngày
-
spike :satellite:
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 10/100
IntersectMBO/mithril#3701 ·
Maintainer thường phản hồi trong vòng 2 ngày
-
Publish a DNSLink record of the immutable archives IPNS name in the Mithril networks DNS zonesCó thể đã có người làm @jpraynaud đã nhận 2 ngày trước. Đang mởfeature :rocket:
IntersectMBO/mithril#3700 · 1 người được giao ·
Maintainer thường phản hồi trong vòng 2 ngày
-
feature :rocket:
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
IntersectMBO/mithril#3699 ·
Maintainer thường phản hồi trong vòng 2 ngày
-
feature :rocket:
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
IntersectMBO/mithril#3698 ·
Maintainer thường phản hồi trong vòng 2 ngày
Tất cả issue của IntersectMBO/mithril
Issue tương tự
-
ライブラリを追加Đang mởpriority middle
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 62/100
KATO-Hiro/AtCoderClans#13015 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
needs-review
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100
UCS-Care-Group/mailcraft#1429 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
priority: medium ready
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 88/100
TusanHomichi/PSIV#646 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 70/100
Maintainer thường phản hồi trong vòng 1 ngày
-
area:tui bug P1
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 62/100
agent-of-empires/agent-of-empires#5705 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày