@misc{cryptoeprint:2018:271, author = {Borching Su}, title = {MathCoin: A Blockchain Proposal that Helps Verify Mathematical Theorems In Public}, howpublished = {Cryptology ePrint Archive, Report 2018/271}, year = {2018}, url = {https://eprint.iacr.org/2018/271}, }