Làm thế nào việc cắt xén ác ý có thể làm tổn hại đến đầu vào của người đánh giá trong mạch bị cắt xén của Yao

Giả sử, chúng ta có một mạch tạo ra hàm băm sha256 của phép nối đầu vào của Alice và đầu vào của Bob (trong đó Alice là người cắt xén và Bob là người đánh giá).

Tôi đang cố gắng hiểu Alice có thể sử dụng những phương pháp nào khi cắt xén mạch một cách ác ý để rò rỉ ít nhất một bit đầu vào của Bob vào đầu ra. (Trong trường hợp của tôi, điều quan trọng không phải là đầu ra của mạch sẽ sai, chỉ là đầu vào của Bob không bị rò rỉ)

Kiểm tra mã nguồn của đồ gá Tôi thấy rằng Bob nhận được từ Alice các bảng chân lý bị cắt xén cho tất cả các cổng AND trong mạch. Anh ta không cần bảng chân lý cho các cổng XOR (tôi cho là vì FreeXOR).

Tôi có đúng không khi cho rằng việc "gian lận" bảng chân lý AND là cách duy nhất để Alice tác động đến đầu ra. Nó có thể được gian lận để luôn xuất ra không, ví dụ: 0 bất kể dây đầu vào cổng AND là gì?

Tôi đã đọc toàn bộ chương "Malicious Security" của MPC thực dụng nhưng nó không bao gồm câu hỏi cụ thể của tôi, chỉ đề cập đến việc thông qua "Đầu ra của mạch bị cắt xén do ác ý tạo ra có thể rò rỉ nhiều hơn mức mà P 2 đã đồng ý tiết lộ (ví dụ: P 2 – toàn bộ đầu vào). Sau đó, cuốn sách tiếp tục giải thích cách bảo vệ chống lại sự cắt xén ác ý, nhưng nó không giải thích chính xác làm thế nào mà kẻ cắt xén có thể gian lận mạch để rò rỉ đầu vào.