zkinterface_bellman (cargo): Bellman circuit construction and proving system for zkInterface
Keywords: zkproof|cryptography|zero-knowledge