NovaNet is based on folding scheme. This is modern ZKP with optimal space efficiency.
Read the developer documents and start using zero-knowledge proof for your use case.
NovaNet creates incentives for local and specialized proving on many device.
We are working closely with partners that have zero-knowledge proof use cases such as privacy preserving DePIN verification. If you are thinking about using ZKP in your project please reach out! See our development timeline here.
Generally if your program can be compiled into WASM, it should run out of the box in NovaNet. Specialized opcodes and parallelization allow for drastic speedups in proving times.
For now, we have an aggregation layer that is WASM based and is custom designed from our work on the SuperNova proving scheme. However, we plan on making many proving schemes and zkVMs available to the NovaNet incentive network layer.
