circom
Mutual ZKP authentication for humans and AI agents
A Python library that allows for easy compiling/proving/verifying of zk circuits