비트코인과 완전한 영성의 주장.
3539 단어 bitcointheorycompilersblockchain
오늘 우리는 라이트 박사에 대해 의심을 표시했다.2014년에 라이트 박사는'비트코인: 완전 도영기'[1]라는 제목의 논문을 발표했는데 오늘 우리는 그것을 토론할 것이다.
만약 네가 도령기계를 모른다면, 지금은 그것을 토론하기에 좋은 시기이다.도영기는 추상적인 기계를 대표하는 이론적 계산 모델이다.도령기는 단원으로 구분된 테이프다.
유니버설 도령기
도령기는 전설적인 인물인 앨런 도령이 36년에 제기한 것으로 매우 중요한 것을 증명했다. 그것이 바로 Entscheidungsproblem의 불가해성이다.물론 도령기계는 현실 생활에서 실현할 수 없다. 왜냐하면 우리는 현실 생활에서 무한한 테이프가 없고 이런 기계들은 현실 생활에서의 실현을 최적화하지 않았기 때문이다.예:실제 컴퓨터는 RAM을 사용하지만 TMS는 없습니다. 그러나 TMS는 실제 컴퓨터가 계산할 수 있는 모든 것을 계산할 수 있습니다. 주어진 계산 시간은 문제가 아닙니다.
도령의 완전성이란 어떤 도령의 완전한 절차가 멈추는 것을 가리킨다.어떤 정지 절차도 끝이 없을 것이다.여기서 우리는 툴링 기계가 무한 시간 운행해야 한다고 추정한다.
이 모든 것이 비트코인과 무슨 관계가 있습니까?
비트코인의 스크립트는 창고를 기반으로 하는 비툴링 완전한 프로그래밍 언어이다.이 점에 대해 많은 토론이 있다. 특히 이더리움 지역사회를 공격하는 도령의 완전성과 도령의 완전성이 결여된 필요성은'포스터정리'때문이다.
창고 데이터 구조의 표시
Post정리는 산술 차원과 도영도 간의 관계를 가설했다[2].사람들은 항상 도령의 완전성과 판정 가능한 안전성이 부족하다고 변호한다.
라이트는 비트코인이 바로 그가 말한'확률 전도영기'라고 제기했다.크레그의 주장을 정리해 보겠습니다.
비트코인 스크립트에 순환이 부족한 것은 비툴링이 완전하지 않기 때문이 아니다.비트코인은 원시 귀속 함수를 사용하여 형성된 것이기 때문에 스크립트 구조는 도령이 완비된 것이다.
우리 이 모든 것을 분석해 봅시다.비트코인은 순환을 지원하지 않는다. 이 자체가 스크립트를 완전하거나 완전하지 않게 할 수는 없지만, 이것은 확실히 스크립트의 제어 구조가 부족하다는 것을 의미한다.물론else가 존재하지만 For 순환이 없으면 제어가 부족합니다.이것은 언어의 버그가 아니라 특성입니다.Busy Beaver[3]와 같은 작은 스크립트는 최악의 경우 비트코인 네트워크가 시간을 초과하여 DoS로 되돌아갈 수 있고, 최악의 경우 해시 속도를 늦출 수 있다.판정성과 안전성을 높이기 위해서다.
두 개의 창고는 도령 완비기를 구성할 수 없습니다. 두 개의 창고 PDA(도령 완비)를 모의하려면 제어 구조가 필요합니다.내가 에서 말한 바와 같이 비트코인은 순환이 부족하다.
비트코인은 모든 스크립트에서 실행할 수 있는 비푸시 작업의 수량을 제한합니다. 비트코인의 Github를 보면 다음 코드를 볼 수 있습니다
static const int MAX_OPS_PER_SCRIPT = 201;
이것은 모든 스크립트가 201개의 비추종을 실행할 수 있다는 것을 의미한다.이것은 불확실한 문제를 방지하기 위해서다.따라서 2PDA를 구현하더라도 사실상 제한됩니다.비트코인의 도령 여부는 완전히 헛된 토론이다.비트코인 네트워크는 다른 네트워크보다 더 영적이다. 왜냐하면 그 규모 때문이다.비트코인 스크립트는 불완전한 도령을 설계하는 것이 가장 좋다. 비록 일부 증거가 불완전하다는 것을 증명할 수 있지만.P2P 공감대 네트워크는 스크립트에서 어떤 형식의 판정성을 실현해야 한다.예를 들어 이더리움에는 기체 시스템이 하나 있다.그래서 그것은 준도령이 완비된 것이다.비트코인 네트워크 밖에서 비트코인 스크립트를 사용하면 문제가 발생할 수 있습니다. 디자인상 도령이 완전하지 않지만, 수정이 필요하기 때문에 도령이 완전하게 구축할 수 있습니다.그러나 실천에서 진정한 도령이 완비된 시스템은 하나도 없다.나는 네가 이것에 대해 평론을 발표하기를 바란다.
한층 더 읽다
[1] https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3265146
[2] https://youtu.be/TGE6jrVmt_I
[3] https://en.wikipedia.org/wiki/Busy_beaver
Reference
이 문제에 관하여(비트코인과 완전한 영성의 주장.), 우리는 이곳에서 더 많은 자료를 발견하고 링크를 클릭하여 보았다 https://dev.to/abhinavmir/bitcoin-and-the-claim-of-total-turingness-l68텍스트를 자유롭게 공유하거나 복사할 수 있습니다.하지만 이 문서의 URL은 참조 URL로 남겨 두십시오.
우수한 개발자 콘텐츠 발견에 전념 (Collection and Share based on the CC Protocol.)