zk-SNARKs Explained with Bellman | Dark Hacker News