어떤 문제를 최대한 테스트가아닌 증명주도로 해결하려고 하는게 비슷함


러스트는 프로그램의 버그


블록체인은 디지털 세계에서의 이중지불문제가없는 가치이동



흥미로움