In this short technical paper, we discuss how the ZK Boo protocol can be leveraged to produce zero-knowledge proofs for secure elements — such as smart cards and hardware wallets — where stringent constraints on computational resources rule out most general-purpose ZK techniques.
To install Typst, see instructions on the Typst GitHub repo.
To compile the paper:
# Compiles to `paper.pdf`
typst compile paper.typTo watch source file while editing and automatically recompile changes:
typst watch paper.typ