Challenges and Tradeoffs: - Snark verifier is around 10 billions gates - Off-chain cost on circuit size and performances - On-chain cost for transactions - Some security assumptions have to be taken into account.