zkFold

We are building a development framework for zero-knowledge smart contracts with very short proving times and built-in automatic formal verification.

This innovative solution allows for significantly faster and cheaper transactions while maintaining the high level of security and decentralization that Cardano is known for.