SSP UC box drawing
Simple default example
Larger example
NIZK with random oracle, real world
NIZK with random oracle, ideal world
Compile ⬇
Update from Tikz code ⬆