NovaNet is revolutionizing digital verification by bringing zero knowledge proofs to every device, AI application, and blockchain. Our memory-efficient technology runs everywhere - from resource-constrained IoT devices to high-performance data center - creating the infrastructure for a privacy-preserving and verifiable internet.
It does not matter if you want your verifier to work on ETH, SOL, AVAX, or even a web2 server, NovaNet aims for minimal verifier lock in.
WASM and ONNX are widely adopted and extremely portable. WASM even works in browsers! Any WASM executable or ONNX model can be traced and proved in NovaNet.
Folding schemes maximize space efficiency, while lookup arguments handle complex non-linear functions — together enabling practical proving of previously impossible computations.
Proof racing causes a loss in efficiency, prevents privacy, and destroys the possibility of parallelization. NovaNet uses game theoretic prover cooperation to do decentralized proving differently.
Prover racing is inferior to game theoretic prover cooperation. Moreover, privacy preserving applications run locally and only pay a fee for aggregation. Space efficient prover technology allows for the previously unthinkable.
Parallel proving allows for big problems to get solved fast. Incremental verifiable computation via folding allows for even constrained devices to join the network and earn. Modularity is the key to better performance.
Specialized, hardware advanced, and new proving scheme can become opcodes in the modular NovaNet zkFramework. These specialized provers can upgrade the network and earn a premium for their work. NovaNet is the most adaptable prover network to date.
