Smart contract securityCompact smart contracts on Midnight combine privacy-preserving computation with cryptographic guarantees.