신뢰 모델

신뢰 모델 없이 메커니즘을 설명하는 것은 마케팅입니다. 이 페이지는 Pickle 사용자가 무엇에 의존하는지 명시하고, 체인이 스스로를 그 이상으로 부르기 전에 갖추어야 할 세 가지 속성을 이름으로 밝힙니다.

사용자가 의존하는 것

한 팀이 운영하는 하나의 컴퓨터가 체인에서 무슨 일이 어떤 순서로 일어나는지 결정합니다. 그것이 정직하고 켜져 있으면 모든 것이 작동합니다. 그것이 잘못된 길로 가면 자기 행동을 먼저 넣고, 여러분의 것을 빼고, 완전히 멈출 수 있으며, 네트워크의 어떤 것도 그것을 막지 못할 것입니다. 그것이 할 수 없는 것은 들키지 않고 과거에 관해 거짓말하는 것입니다. 모든 블록의 복사본이 Ethereum으로 가고, 누구든 그것을 다시 재생하여 차이를 볼 수 있습니다. 들키는 것은 막히는 것과 같지 않으며, 그에 대해 자동으로 작동하는 것은 없습니다.

사용자는 운영자의 정직성에, 그리고 그것을 검사하는 데 필요한 데이터가 공개되어 있다는 사실에 의존합니다. 하나의 시퀀서가 모든 트랜잭션의 순서를 정하며 재정렬하거나 검열할 수 있습니다. Ethereum에서의 강제 포함 경로는 없습니다. 사기 증명도 유효성 증명도 없습니다. 정확성은 재실행으로 검사되며, 게시된 데이터와 커밋된 블록 해시 사이의 분기를 발견한 레플리카는 정지하지만, 온체인의 어떤 것도 그 분기를 판정하지 않습니다. 그것을 의미 있게 만드는 것은 데이터입니다. 체인을 재구축하는 데 필요한 모든 것이 Ethereum에 있거나 Ethereum에서 커밋되어 있습니다.

단일 시퀀서가 순서와 활성을 담당합니다. 그 키는 온체인 레지스트리에 보관되며 다음 블록부터 효력을 갖도록 교체될 수 있습니다. L1에 강제 포함 큐는 없습니다. 정확성은 재실행입니다. 레플리카는 인박스 컨트랙트의 이벤트와 페이로드로부터 파생하며, 해시 불일치는 레플리카에 종결적이고 온체인에서 판정되지 않습니다. 나중의 블록이 부인한 서명된 미니블록은 증거가 될 것이고, 설계는 그 증거를 기록합니다. 아직 그에 대해 행동하지는 않습니다. 배처 키와 메신저 키는 구분되며 시동 시 강제되고, 메시지 식별자가 원래 이벤트로부터 파생되어 최종 확정 시 기록되기 때문에 메신저는 위조하거나 재생할 수 없습니다.

순서, 활성, 정확성, 데이터, 브리지

속성	누가 또는 무엇이
순서	하나의 시퀀서재정렬할 수 있고 검열할 수 있습니다. Ethereum에서의 강제 포함 경로는 없습니다
활성	시퀀서의 것시퀀서가 멈추면 미니블록이 멈추고 체인은 새 실행을 중단합니다; 레플리카는 파생된 이력을 계속 제공합니다
정확성	재실행으로 검사사기 증명도 유효성 증명도 없습니다. 레플리카가 분기를 감지하고 정지합니다; 온체인의 어떤 것도 그것을 판정하지 않습니다
데이터	Ethereum에, 또는 Ethereum에서 커밋됨체인을 재구축하는 데 필요한 모든 것이 공개되어 있습니다
브리지	신뢰되는 메신저 키메시지를 위조하거나 재생할 수 없지만, 지연시킬 수 있습니다

순서. 하나의 시퀀서가 모든 트랜잭션의 순서를 정합니다. 재정렬할 수 있고 검열할 수 있습니다. 시퀀서가 거부한 트랜잭션이 Ethereum에서 포함될 수 있는 강제 포함 경로는 없습니다.
활성. 시퀀서가 멈추면 미니블록이 멈추고 체인은 새 실행을 중단합니다. 레플리카는 파생된 이력을 계속 제공합니다. 시퀀서 키는 온체인 레지스트리에 보관되며 다음 블록부터 효력을 갖도록 교체될 수 있습니다.
정확성. 사기 증명도 유효성 증명도 없습니다. 정확성은 재실행으로 검사됩니다. 어떤 레플리카든 게시된 데이터와 커밋된 블록 해시 사이의 분기를 감지할 수 있고, 감지하면 정지합니다. 온체인의 어떤 것도 그러한 분기를 판정하지 않습니다. 나중의 블록이 부인한 서명된 미니블록은 증거가 될 것이고, 설계는 그 증거를 기록합니다. 아직 그에 대해 행동하지는 않습니다.
데이터. 체인을 재구축하는 데 필요한 모든 것이 Ethereum에 있거나 Ethereum에서 커밋되어 있습니다. 이것이 앞의 항목을 의미 있게 만드는 속성입니다.
브리지. 브리지 메신저는 신뢰되는 키입니다. 식별자가 원래 이벤트로부터 파생되어 최종 확정 시 기록되기 때문에 메시지를 위조하거나 재생할 수 없지만, 지연시킬 수 있습니다. 배처 키와 메신저 키는 구분되며 시동 시 강제됩니다.

키

시퀀서 키는 미니블록에 서명하며 운영자의 신원입니다. 온체인 레지스트리에 존재하고 한 블록의 예고를 두고 교체됩니다.
배처 키는 Ethereum 인박스 컨트랙트가 추가를 받아들이는 유일한 주소입니다. 침해된 배처는 게시를 중단할 수 있어 정산을 지체시키지만, 레플리카가 받아들일 페이로드를 위조할 수는 없습니다. 해시가 일치하지 않을 것입니다.
메신저 키는 양방향의 브리지 전송을 최종 확정합니다. 지연시킬 수 있지만, 컨트랙트가 발행한 적 없는 메시지를 만들어 내거나 이미 처리된 메시지를 재생할 수는 없습니다.

탈중앙화에 필요한 조건

Pickle은 스스로를 탈중앙화되었다고 표현하지 않습니다

그렇게 할 수 있기 전에 갖추어져야 할 구체적인 속성은 다음과 같습니다. 시퀀서의 이중화와 교체, 그래서 단일 운영자의 활성이 체인의 활성이 되지 않도록. Ethereum에서의 강제 포함 경로, 그래서 어떤 단일 운영자도 검열할 수 없도록. 그리고 이의 제기 또는 증명 경로, 그래서 레플리카가 감지한 분기가 단순히 보고되는 것이 아니라 판정되도록.

세 가지가 모두 갖추어지기까지, 사용자는 운영자의 정직성에 더해 그것을 검사하는 데 필요한 공개 데이터에 의존합니다. 거버넌스 페이지는 설계가 갖고 있는 공격 저항성과 그 한계를 나열합니다.