Chi phí zk proof đã giảm so với phép toán được chứng minh...