Developing a L1 and L2 scalability tools and infrastructure using zk-rollups.
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.
