ngày thứ tám của nghiên cứu, và hôm nay tôi đã hoàn tất phần suy nghĩ từ ngày hôm qua. các trang nghiên cứu nêu ra ba cam kết, nhưng trong tài liệu bảo mật, một cam kết chỉ bao giờ là nửa sau của một câu. nửa đầu là "giả sử x." hôm nay tôi đã thu thập các giá trị x.
giả định một, chính các chuỗi. mọi cam kết đều kế thừa tính bảo mật của bitcoin và ethereum. nếu bitcoin chịu các đợt tái tổ chức sâu (deep reorgs), các script staking và các time-lock của chúng sẽ chao đảo theo. nếu ethereum dừng, các bằng chứng chuộc nợ TBV không có gì để chống đỡ. đây là giả định mạnh nhất hiện có trong ngành này.
giả định hai, sự trung thực theo ngưỡng trong ủy ban giao ước. việc thực thi slashing yêu cầu sự đồng thuận của đa số, tức là định lý về bảo mật có thể bị slashing chỉ đúng chừng nào đa số còn sống và trung thực. các bài viết xem điều này như yếu tố con người còn lại mà giao thức làm việc để giảm thiểu.
giả định ba, sự cảnh giác. quy trình thử thách babe giả định rằng có ai đó trung thực đang thức trong khung thời gian thử thách. tính bảo mật vẫn giữ nếu ít nhất một người quan sát trung thực bắt được một yêu cầu gian lận kịp thời. mật mã không cần mọi người đều trung thực, nó cần ai đó chú ý.
giả định bốn, tính hợp lý kinh tế. eots khiến sự mơ hồ (equivocation) bộc lộ khóa của bạn. một tác nhân phi lý sẵn sàng đốt phần stake của chính mình để gây hại cho một bsn chỉ bị răn đe bởi quy mô khoản lỗ của hắn. slashing là một cái giá, và giá cả chỉ chi phối những người biết làm toán.
giờ là phần tổng hợp. theo thứ tự về độ mong manh, cách đọc của tôi là: cảnh giác là giả định mềm nhất, trung thực của ủy ban đứng thứ hai, tính hợp lý kinh tế đứng thứ ba, còn bảo mật của chuỗi là khó nhất. các multi-sigs, những cái caps mà haroon đã khai quật, và các đợt triển khai theo từng pha đều tụ lại quanh hai giả định mềm nhất. bộ giàn giáo được xây đúng chỗ mà các định lý yếu nhất.
đó là hình dạng của một giao thức đạt chuẩn nghiên cứu khi nhìn từ bên trong: không phải là sự vắng mặt của giả định, mà là cách ánh xạ trung thực của chúng.
ngày mai tôi muốn kiểm tra các giả định này kết hợp với nhau như thế nào khi đa-staking xếp một đồng qua nhiều mạng.
@BabylonLabs_io #baby $BABY
giả định một, chính các chuỗi. mọi cam kết đều kế thừa tính bảo mật của bitcoin và ethereum. nếu bitcoin chịu các đợt tái tổ chức sâu (deep reorgs), các script staking và các time-lock của chúng sẽ chao đảo theo. nếu ethereum dừng, các bằng chứng chuộc nợ TBV không có gì để chống đỡ. đây là giả định mạnh nhất hiện có trong ngành này.
giả định hai, sự trung thực theo ngưỡng trong ủy ban giao ước. việc thực thi slashing yêu cầu sự đồng thuận của đa số, tức là định lý về bảo mật có thể bị slashing chỉ đúng chừng nào đa số còn sống và trung thực. các bài viết xem điều này như yếu tố con người còn lại mà giao thức làm việc để giảm thiểu.
giả định ba, sự cảnh giác. quy trình thử thách babe giả định rằng có ai đó trung thực đang thức trong khung thời gian thử thách. tính bảo mật vẫn giữ nếu ít nhất một người quan sát trung thực bắt được một yêu cầu gian lận kịp thời. mật mã không cần mọi người đều trung thực, nó cần ai đó chú ý.
giả định bốn, tính hợp lý kinh tế. eots khiến sự mơ hồ (equivocation) bộc lộ khóa của bạn. một tác nhân phi lý sẵn sàng đốt phần stake của chính mình để gây hại cho một bsn chỉ bị răn đe bởi quy mô khoản lỗ của hắn. slashing là một cái giá, và giá cả chỉ chi phối những người biết làm toán.
giờ là phần tổng hợp. theo thứ tự về độ mong manh, cách đọc của tôi là: cảnh giác là giả định mềm nhất, trung thực của ủy ban đứng thứ hai, tính hợp lý kinh tế đứng thứ ba, còn bảo mật của chuỗi là khó nhất. các multi-sigs, những cái caps mà haroon đã khai quật, và các đợt triển khai theo từng pha đều tụ lại quanh hai giả định mềm nhất. bộ giàn giáo được xây đúng chỗ mà các định lý yếu nhất.
đó là hình dạng của một giao thức đạt chuẩn nghiên cứu khi nhìn từ bên trong: không phải là sự vắng mặt của giả định, mà là cách ánh xạ trung thực của chúng.
ngày mai tôi muốn kiểm tra các giả định này kết hợp với nhau như thế nào khi đa-staking xếp một đồng qua nhiều mạng.
@BabylonLabs_io #baby $BABY