Efficient Layered Circuit for Verification of SHA3 Merkle Tree. - Changchang Ding; Zheming Fu (IACR Cryptol. ePrint Arch., 2024)