Sử dụng các bằng chứng chặt chẽ về mặt toán học để đảm bảo các thuộc tính nhất định của thuật toán mã hóa và cơ chế chuỗi khối