Làm thế nào để cộng hai số mà bạn không được phép nhìn thấy
Kêu người hỏi lúc cuối tuần và trả lời sai, vì vậy tôi đi và đọc cho đúng.
Hedger sử dụng mã hóa đồng hình dựa trên ElGamal trên ECC. phiên bản “con người” của điều này là: bạn có thể thực hiện tính toán trên các GIÁ TRỊ ĐƯỢC MÃ HÓA mà không cần giải mã chúng trước.
Vì vậy, một hợp đồng giữ hai số dư được mã hóa có thể tạo ra tổng được mã hóa một cách chính xác, mà không bao giờ học được số nào hay tổng là bao nhiêu.
Nghe như trò ảo thuật và không phải. đó là một tính chất của cấu trúc mã hóa, và ElGamal có tính chất này cho phép nhân, ánh xạ sang phép cộng trong số mũ. điều này đã được biết từ thập niên 80.
Tại sao kết hợp nó với các bằng chứng không kiến thức thay vì dùng riêng lẻ một trong hai.
Vì mã hóa đồng hình cho bạn biết rằng phép tính CÓ THỂ được thực hiện trên các giá trị bị che giấu. nó không nói rằng người thực hiện đã làm một cách trung thực, hoặc rằng các đầu vào ngay từ đầu là hợp lệ. đó là những gì các bằng chứng dùng để đảm bảo.
Vậy nên, một primitive xử lý tính toán bảo mật, primitive còn lại xử lý tính đúng đắn có thể kiểm chứng, và không cái nào thay thế cho cái kia. hầu hết các hệ thống bảo mật chỉ dựa vào bằng chứng và chịu chi phí về độ phức tạp mạch, bởi vì bạn khi đó phải chứng minh các mệnh đề về phép toán mà bạn cũng cần che giấu.
Lưu ý trung thực: các sơ đồ mã hóa đồng hình không hề “miễn phí”. nó là mã hóa đồng hình một phần, không phải là mã hóa hoàn toàn đồng hình (FHE) mà người ta viết bài ca ngợi đầy hào hứng. khác biệt ở chỗ sơ đồ đồng hình một phần hỗ trợ một số phép toán nhất định thay vì tính toán tùy ý. chính giới hạn này là lý do nó đủ NHANH để chạy trong trình duyệt trong dưới hai giây.
Đó cũng là lựa chọn đánh đổi mà tôi sẽ làm. mục đích chung nhưng không dùng được thì chẳng giúp ích ai.
#dusk @Dusk $DUSK
Kêu người hỏi lúc cuối tuần và trả lời sai, vì vậy tôi đi và đọc cho đúng.
Hedger sử dụng mã hóa đồng hình dựa trên ElGamal trên ECC. phiên bản “con người” của điều này là: bạn có thể thực hiện tính toán trên các GIÁ TRỊ ĐƯỢC MÃ HÓA mà không cần giải mã chúng trước.
Vì vậy, một hợp đồng giữ hai số dư được mã hóa có thể tạo ra tổng được mã hóa một cách chính xác, mà không bao giờ học được số nào hay tổng là bao nhiêu.
Nghe như trò ảo thuật và không phải. đó là một tính chất của cấu trúc mã hóa, và ElGamal có tính chất này cho phép nhân, ánh xạ sang phép cộng trong số mũ. điều này đã được biết từ thập niên 80.
Tại sao kết hợp nó với các bằng chứng không kiến thức thay vì dùng riêng lẻ một trong hai.
Vì mã hóa đồng hình cho bạn biết rằng phép tính CÓ THỂ được thực hiện trên các giá trị bị che giấu. nó không nói rằng người thực hiện đã làm một cách trung thực, hoặc rằng các đầu vào ngay từ đầu là hợp lệ. đó là những gì các bằng chứng dùng để đảm bảo.
Vậy nên, một primitive xử lý tính toán bảo mật, primitive còn lại xử lý tính đúng đắn có thể kiểm chứng, và không cái nào thay thế cho cái kia. hầu hết các hệ thống bảo mật chỉ dựa vào bằng chứng và chịu chi phí về độ phức tạp mạch, bởi vì bạn khi đó phải chứng minh các mệnh đề về phép toán mà bạn cũng cần che giấu.
Lưu ý trung thực: các sơ đồ mã hóa đồng hình không hề “miễn phí”. nó là mã hóa đồng hình một phần, không phải là mã hóa hoàn toàn đồng hình (FHE) mà người ta viết bài ca ngợi đầy hào hứng. khác biệt ở chỗ sơ đồ đồng hình một phần hỗ trợ một số phép toán nhất định thay vì tính toán tùy ý. chính giới hạn này là lý do nó đủ NHANH để chạy trong trình duyệt trong dưới hai giây.
Đó cũng là lựa chọn đánh đổi mà tôi sẽ làm. mục đích chung nhưng không dùng được thì chẳng giúp ích ai.
#dusk @Dusk $DUSK