Add stable semantic signatures to Hyperlight-JS host-function manifests
Maintainer thường phản hồi trong vòng 6 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
- 35/100
- Loại issue
- Tính năng
- Độ rõ ràng
- Khá rõ ràng
- Mức độ hoạt động
- Sôi nổi
- Công nghệ
- javascript, rust
- Lĩnh vực
- backend
Hướng nghiên cứu
Start by tracing host-function registration, snapshot metadata persistence, and both persistent and in-memory restoration validation. Decide how the stable contract ID or versioned schema is represented and compared, then verify that contracted functions reject incompatible snapshots while functions without contracts retain name-only validation.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Problem
Hyperlight-JS snapshot compatibility currently validates only module and
function names.
Typed Rust callbacks are erased to a JSON bridge during registration, while
JavaScript callbacks are inherently dynamic. Hyperlight therefore sees only
the fixed CallHostJsFunction bridge signature and cannot verify that logical
functions such as database.query retain compatible argument and return
semantics.
Rust TypeId is process-local and type_name() is not a stable serialized
contract. Neither reliably describes Serde JSON representation.
Proposed solution
Allow host-function registration to include an explicit stable contract ID or
versioned schema, for example:
database.query: database.query/v1
Persist this identifier alongside each module/function name in snapshot
metadata and compare it during persistent and in-memory restoration.
Functions without a contract retain current name-only validation for backward
compatibility.
- Ngôn ngữ chính
- Rust
- Star
- 13
- Fork
- 5
- Merge trung bình
- 6 ngày 6 giờ
- Pull request đã merge (30 ngày)
- 17
Chuẩn bị môi trường
Khởi chạy dev container của dự án ngay trên trình duyệt, bằng tài khoản GitHub của bạn.
- Không có Dockerfile hay tệp Docker Compose
- Không 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 hyperlight-dev/hyperlight-js
-
lifecycle/needs-review
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
hyperlight-dev/hyperlight-js#81 ·
Maintainer thường phản hồi trong vòng 6 ngày
-
lifecycle/needs-review
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
hyperlight-dev/hyperlight-js#340 ·
Maintainer thường phản hồi trong vòng 6 ngày
-
lifecycle/needs-review
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100
hyperlight-dev/hyperlight-js#338 ·
Maintainer thường phản hồi trong vòng 6 ngày
-
lifecycle/needs-review
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
hyperlight-dev/hyperlight-js#337 ·
Maintainer thường phản hồi trong vòng 6 ngày
-
lifecycle/needs-review
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
hyperlight-dev/hyperlight-js#312 ·
Maintainer thường phản hồi trong vòng 6 ngày
Tất cả issue của hyperlight-dev/hyperlight-js
Issue tương tự
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 78/100
pyca/verified-garbage#1023 ·
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 74/100
-
review-drift
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
oxidecomputer/hansei#14 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
rubys/roundhouse#444 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Published hardy-bpa-server image is built without the file-cla featureCó thể đã có người làm @EmbryoSpace đã nhận hôm nay. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 85/100
ricktaylor/hardy#755 ·
Maintainer thường phản hồi trong vòng 1 ngày