It feels like magic when I was learning zk-proof. zkp not only has the mathematical beauty but also (as a powerful tool) allows us to build all kinds of zk-apps.