Core — increasing determinism and stability

Tezos 커뮤니티에서 사용할 준비가 되려면 노드가 가능한 한 안정적이어야합니다. 우리는 주로 기술적 문제를 완화하고 무작위성을 제거 (결정 성 증가)하고 사용자에게 제공하는 지원을 개선하여이를 달성하고자합니다.
안정
우리는 노드에서 버그를 식별하고 복제 할 수 있기를 원합니다. 이를 위해 노드를 가능한 한 결정적으로 만들어야합니다. 결정 론적 시스템은 임의성이 동작에 관여하지 않는 시스템입니다. 이러한 시스템은 주어진 시작 조건 또는 초기 상태에서 항상 동일한 출력을 생성합니다.
먼저 단일 피어 (P2P 또는 RPC 사용자)로부터 메시지를 수신 할 때 노드가 결정적인지 확인해야합니다. 노드를 감사하고 피어와 핸드 셰이 킹 또는 부트 스트랩 할 때 결정적으로 작동하지 않는 노드의 모든 부분을 식별해야합니다. 또한 노드가 mempool의 작업을 검증하고 처리하는 상황과 프로토콜에 작업을 적용하고 블록 체인 상태를 저장소에 저장할 때 비 결정적 동작을 식별하려고합니다. 다음으로 노드가 동시에 여러 피어와 통신하는 상황에 대해 동일한 작업을 수행하려고합니다.
빵 굽기
첫째, 노드가 Tezos 제빵사, 보증인 및 고소인의 OCaml 구현을 지원하기를 원합니다. 현재 OCaml 베이커는 노드에서 RPC를 사용하고 OCaml 저장소에 직접 액세스하지만 Rust 저장소에는 액세스 할 수 없습니다. 우리는 Rust 스토리지에 대한 지원을 OCaml 베이커에 구현할 것입니다. 베이커 구현이 아직 준비되지 않은 경우에도 사용자는 베이킹에 노드를 사용할 수 있습니다. 이것이 안정되면 우리는 우리 자신의 베이커를 구현하기 시작할 것입니다.