The network is a marketplace that connects provers and requesters for ZK proof generation, implemented as a high performance verifiable application.