Dựng gốc Merkle có nhãn
Tạo gốc Merkle SHA-256 từ một đến 64 lá byte, mỗi lá tối đa 4096 byte, dùng thẻ riêng cho lá và nút cha.
import hashlib
def merkle_root(leaves):
if type(leaves) is not list or not 1 <= len(leaves) <= 64 or any(type(x) is not bytes or len(x) > 4096 for x in leaves):
raise ValueError("merkle.leaves")
level = [hashlib.sha256(b"\x00"+x).digest() for x in leaves]
while len(level) > 1:
if len(level) % 2:
level.append(level[-1])
level = [hashlib.sha256(b"\x01"+level[i]+level[i+1]).digest() for i in range(0, len(level), 2)]
return level[0].hex()
| Dự án | Kiểm tra tầng lẻ bằng cách nhân đôi nút cuối và từ chối đầu vào rỗng mà không coi gốc là bằng chứng sở hữu. |
|---|---|
| Kiểm tra trước khi áp dụng | So sánh hành vi thực tế với kết quả mong đợi. Nếu kiểm tra thất bại, tìm nguyên nhân trước khi sửa tiếp. |
| Mô hình | Cấu hình endpoint tương thích OpenAI hoặc Anthropic bằng URL cơ sở và khóa API nếu cần. Kiểm tra kết nối. Máy chủ mô hình cục bộ phải đang chạy; công cụ từ xa có thể truyền dữ liệu riêng. |
import hashlib
def merkle_root(leaves):
if type(leaves) is not list or not 1 <= len(leaves) <= 64 or any(type(x) is not bytes or len(x) > 4096 for x in leaves):
raise ValueError("merkle.leaves")
level = [hashlib.sha256(b"\x00"+x).digest() for x in leaves]
while len(level) > 1:
if len(level) % 2:
level.append(level[-1])
level = [hashlib.sha256(b"\x01"+level[i]+level[i+1]).digest() for i in range(0, len(level), 2)]
return level[0].hex()
Giữ ổn định quy ước byte khi thay đổi mã băm
LeafVellin là không gian lập trình Windows để thảo luận thay đổi mã nguồn với mô hình AI được kết nối. Mã băm đặc biệt cần mô tả chính xác byte được xử lý: thay đổi biểu diễn tưởng vô hại có thể tạo kết quả hoàn toàn khác. Bắt đầu với yêu cầu tương tác tương thích và ca kiểm thử đầu vào–đầu ra đã biết trước khi yêu cầu tái cấu trúc.
Ví dụ cây Merkle có gắn thẻ cung cấp tác vụ dự án tập trung. Bạn có thể yêu cầu trợ lý kiểm tra thứ tự lá, tiền tố riêng cho lá và nút trong, cùng việc nhân đôi nút cuối khi số nút lẻ. Cung cấp mã đưa lá vào và dùng gốc để các quy ước đó luôn rõ trên toàn bộ luồng được thay đổi.
Rà soát sửa đổi đề xuất theo ca cố định cho một lá, số lượng chẵn và số lượng lẻ. Chạy kiểm tra trong dự án và so sánh giá trị gốc chính xác, không chỉ hình thức đầu ra. Nếu phải khớp một phần triển khai khác, dùng quy ước được tài liệu hóa và ca kiểm thử độc lập của nó; chỉ trùng tên hàm băm không xác nhận cây tương thích.
Lựa chọn mô hình AI không lọc có sẵn qua điểm cuối tương thích OpenAI hoặc Anthropic được hỗ trợ trong phạm vi các dịch vụ đó cung cấp mô hình bạn chọn. Cấu hình thông tin xác thực khi cần và kiểm tra công cụ cùng giới hạn ngữ cảnh. Hạn chế nhà cung cấp vẫn áp dụng, và quyết định cuối về thay đổi băm dựa vào rà soát cùng bằng chứng của bạn.
Câu hỏi trước khi tái cấu trúc cây byte
Ngoài hàm băm, hai phần triển khai phải thống nhất gì?
Nêu byte lá và thứ tự, tiền tố, phép nối nút trong và xử lý số nút lẻ. Kèm ca kiểm thử chính xác cho cấu trúc đã chọn. Cùng tên hàm băm không có nghĩa thống nhất các quy ước xung quanh.
Vì sao thêm ca kiểm thử một lá?
Nó tách quy ước lá khỏi xử lý nút trong và giúp phát hiện bước băm thêm ngoài ý muốn. Ghép với ca nhiều lá chẵn và lẻ để rà soát cả quy tắc phân nhánh của cấu trúc.
Có nên đưa lá văn bản trực tiếp vào mã băm?
Xác định mã hóa byte và mọi bước chuẩn hóa trước khi băm. Kèm ranh giới chuyển đổi trong yêu cầu nếu có văn bản. Nếu không, tái cấu trúc có thể giữ văn bản đọc được nhưng đổi byte và do đó đổi giá trị gốc.
Gốc khớp có chứng minh hệ thống rộng hơn đáng tin cậy?
Nó xác nhận sự thống nhất cho cấu trúc và đầu vào được thử, không phải mọi thuộc tính của hệ thống xung quanh. Rà soát cách lưu, so sánh và dùng gốc trong ứng dụng, giữ tuyên bố toàn vẹn rộng hơn trong phạm vi bằng chứng thực sự có.
LeafVellin · Cập nhật 2026-10-25