Smaller PoRep proofs

Enabled by

Aggregating SNARKs

Enables

High throughput Filecoin

CryptoNet is a Protocol Labs initiative.