많은 사람들이 그를 불신하게 만드는 Charles Hoskinson에 대해 무엇입니까?

면책 조항: 저는 ADA 가방 소지자입니다.

나는 하드코어 아나코-{사회주의자, 공산주의자}이고 물질적 불평등주의(어떤 사람들은 다른 사람들보다 더 많은 돈을 소유하고 있음)라는 개념을 애초에 좋아하지 않는 사람들을 알고 있습니다. b/c 당신은 모두 이익을 얻고 Big Brother로부터 멀어지기를 바라는 일부 암호 화폐에 투자했습니다. 어쨌든 CH는 자신을 "자유주의적 아나키스트"(기본적으로 아나코-자본주의자)로 광고합니다.

내가 여기에서 그를 볼 수 있는 가장 일반적인 비판은 그가 하는 만큼 "말하는" 사람에 대해 그의 블록체인이 새로운 기능이나 개발 측면에서 활성화되지 않는다는 것입니다. 이에 대해 그는 종종 자신의 블록체인이 가장 많은 수의 코드 커밋을 만났다고 응답하지만(이는 Github의 모든 사용자가 볼 수 있음) 이에 대한 커뮤니티의 반응은 개발이 라인보다는 기능 및 작동 제품으로 측정되어야 한다는 것입니다. 암호.

Cardano의 개발이 다른 블록체인보다 느린 이유에 대해 나와 같은 대부분의 가방 소지자는 감사, 공식 검증 및 동료 검토에 시간이 걸리지만 많은 사람들에게 충분한 설명이 아닌 것 같습니다. 내 직감은 많은 사람들, 특히 기술 업계가 아닌 사람들이 이러한 것들이 왜 중요한지 이해하지 못한다는 것입니다. 그래서 약간의 설명을 하려고 합니다.

프로그래밍 언어로 코드를 작성하고 테스트하고 테스트한 작업을 수행할 것으로 예상하는 것과 광고한 대로 수행하는지 공식적으로 확인하는 것 사이에는 차이가 있습니다. 이더리움 블록체인과 같은 대부분의 코드는 이전 방법론을 사용하여 작성되었습니다.

1. 개발자에게 코드가 수행해야 하는 작업을 알려줍니다.
2. 개발자가 코드를 작성하도록 하세요.
3. 개발자가 (2)에서와 같이 코드를 테스트하는 테스트 케이스(코드이기도 함)를 작성하여 광고하는 대로 수행하는지 확인하도록 합니다.
4. 코드를 대중에게 공개

이 방법론 자체가 틀렸다고 말하는 것은 아니지만 Cardano가 추구하는 바는 그것이 아닙니다. 카르다노의 요점은 알고리즘이 처음에 무엇을 해야 하는지를 수학적으로 정의하기 위한 연구를 수행한 다음 위의 (3)이 필요하지 않은 방식으로 알고리즘을 구현하는 것입니다. 이 점을 더 설명할 수 있습니다.

Python과 C++(둘 다 공통 개발 언어)로 작성된 다음 코드 조각을 고려하십시오.

python greeting = "Hello, Redditor" print(greeting)

```cpp // "using namespace std;"가 필요합니다. 당신이 그것에 대해 공식적으로 원한다면

string Greeting("안녕하세요, Redditor"); 쫓다

간단히 말해서, 이 두 코드 조각의 차이점은 후자는 greeting 변수를 명시적으로 문자열로 선언하지만 전자는 변수의 유형을 지정하지 않는다는 것입니다. 결과적으로 전자의 경우 컴퓨터는 런타임까지(코드가 실제로 실행될 때까지) greeting greeting 에 유형이 문자열이라는 사실을 컴파일 타임( 코드가 실행되기 전에). 따라서 전자를 "동적 형식화"라고 하고 후자를 "정적 형식화"라고 합니다.

정적 유형 지정을 변수의 다양한 속성(예: 할당해야 하는 메모리 양)을 파악하는 데 도움이 되도록 런타임에 제공되는 추가 정보(코드를 실행하는 데 필요한 코드)로 생각하십시오. 일반적으로 말해서 정확성을 위해 동적 유형보다 정적 유형을 사용하는 것이 바람직합니다.

예를 들어, 수학적 사실을 증명하기 위해 코드를 사용하고 싶다고 가정합니다. a 가 짝수이고 b = a + 1 이라고 정의하면 b 는 홀수입니다"라는 간단한 주장과 같은 것입니다. 예를 들어, 증명은 다음 형식을 취합니다. " a 가 짝수이면 어떤 정수 k a = 2k 입니다. 그러면 b = a + 1 = 2k + 1 b 가 홀수임을 증명하기에 충분합니다. 정의에 따르면 홀수는 일부 정수 x 2x + 1 형식의 숫자로 정의됩니다."

Cardano 개발에 선호되는 오픈 소스 개발 도구를 사용하여 홀수 및 짝수에 대해 각각 정적 유형을 정의한 다음 위의 주장이 사실임을 수학적으로 증명할 수 있습니다. 다시 말해, Cardano 개발은 위에서 설명한 C++의 풍미에서 정확성 중심의 정적 타이핑을 훨씬 뛰어 넘었습니다. 우리는 암호화 연구원들이 공식화한 전체 수학적 증명을 자동화할 수 있는 시점에 있습니다.

이것이 Cardano 개발 방법론이 다음과 같이 보이는 이유입니다(설명된 현상 유지 방법론과의 차이점 참고).

1. 당신이 만들고 있는 것이 무엇이든 수학적으로 의미가 있다는 것을 증명하기 위해 연구 논문을 작성하십시오.
2. 다른 연구자들이 보고 그것이 실제로 의미가 있는지 확인할 수 있도록 연구 논문을 동료 검토를 받습니다.
3. 주장과 증명을 코드로 작성하고(예: Agda 프로그래밍 언어 와 같은 것으로) 정리 증명자가 증명을 확인하여 올바른지 확인하게 합니다.
4. 메인스트림 컴퓨터에서 실행할 수 있는 Haskell 코드를 자동으로 생성하여 구축하려는 모든 요구 사항을 완료합니다.
5. 위와 같이 코드를 테스트하고 배송합니다.

이 프로세스는 Ethereum 및 Solana와 같은 사람들이 겪는 것보다 분명히 더 엄격합니다. 분명히 이것은 개발 프로세스를 늦추는데 이는 Cardano의 잘못된 콘텐츠에 대한 비판의 큰 포인트이지만 수십억 또는 수조 달러 가치의 소프트웨어를 실행하게 될 시스템에 대해 강화된 개발 엄격성은 매우 바람직합니다. 지난 해에만 105억 달러가 DeFi 해킹 등으로 손실되었으며 사람들이 Metamask 취약점 등에 대해 항상 게시하는 것을 볼 수 있습니다. 실리콘 밸리의 "빨리 움직여서 깨기" 방법론에 따라 네트워크에 돈을 보관하는 것을 선호한다면 DAO 해킹과 같은 방식으로 돈을 잃었을 때 불평할 수 없습니다.

바라건대, Cardano 개발이 다른 체인보다 느린 이유는 이것에서 분명합니다. Runtime Verification에 의한 SundaeSwap 감사를 커뮤니티 전체에서 이 엄격함 수준이 유지된다는 증거로 볼 수 있습니다.

TL;DR: 알고랜드를 포함한 어떤 블록체인도 카르다노만큼 엄격한 개발 방법론을 갖고 있지 않다는 것이 내 기술적 견해입니다(알고랜드의 한계는 다음을 포함합니다: 카르다노의 e-UTXO 구성과 반대되는 계정 기반 원장 및 하드 코딩된 릴레이 P2P 피어 검색 을 통한 네트워크 분산 대신 Algorand Foundation에서 실행). 내 주장은 Cardano FUD가 대부분 근거가 없고 공식 검증이 무엇인지 또는 왜 그것이 가치 있는지 이해하지 못하는 사람들에 의해 전파된다는 것입니다.