When we started working on ZK tooling, there was nothing available. @FormallyJon shares our zero-knowledge tooling journey.