TY - RPRT TI - Secrecy-Verifiability Paradox in Smart Contracts AU - Ha-Thanh Nguyen PY - 2022 UR - https://arxiv.org/abs/2212.01595 ID - 2212.01595 ER -