Picture for Sylvain Carré

Sylvain Carré

Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets

Add code
Feb 12, 2021
Figure 1 for Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets
Figure 2 for Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets
Figure 3 for Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets
Figure 4 for Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets
Viaarxiv icon