| $$ \gdef\createporepbatch{\textsf{create_porep_batch} } \gdef\GrothProof{\textsf{Groth16Proof} } \gdef\Groth{\textsf{Groth16} } \gdef\GrothEvaluationKey{\textsf{Groth16EvaluationKey} } \gdef\GrothVerificationKey{\textsf{Groth16VerificationKey} } \gdef\creategrothproof{\textsf{create_groth16_proof} } \gdef\ParentLabels{\textsf{ParentLabels} } \gdef\or#1#2{\langle #1 | #2 \rangle} \gdef\porepreplicas{\textsf{porep_replicas} } \gdef\postreplicas{\textsf{post_replicas} } \gdef\winningpartitions{\textsf{winning_partitions} } \gdef\windowpartitions{\textsf{window_partitions} } \gdef\lebinrep#1{ {\llcorn |
Notation, Constants, and Types
calendar_today
January 1, 2001
domain
filecoin