Filecoin Proofs are written for Testudo

CryptoNet is a Protocol Labs initiative.