【原创】证明“我妈是我妈”等世纪难题，智能合约就是skr