Giters

AleoNet / snarkOS

A Decentralized Operating System for ZK Applications

Home Page:http://snarkos.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

[Bug]Malicious validator send invalid `BatchPropose` and block the `CertificateRequest`

ghostant-1017 opened this issue · comments

commented

Summary:

Malicious validator send invalid BatchPropose and block the CertificateRequest

Steps To Reproduce:

  1. git clone git@github.com:ghostant-1017/mysnarkOS.git && git checkout attack/blocking-certificate-request
  2. Start the devnet cd snarkos && ./devnet with 4 validators, 0 clients
  3. Observer the logs of validator1

Proof-of-Concept (PoC)

  1. Assume validator0 is a malicious node, and validator1 is the node under attack.

  2. The main approach of this attack is that validator0 frequently sends BatchPropose to validator1, where previous_certificate_ids will include BatchCertificateID of other honest nodes. However, validator0 does not respond to validator1's Event::CertificateRequest requests. When validator1 receives requests from honest nodes, due to the limitation on sending CertificateRequest, it will not send requests to other nodes. This eventually leads to validator1 being unable to communicate with other honest nodes.

  3. This attack can prevent honest nodes from participating effectively in the consensus process, thereby affecting block production.

Supporting Material/References:

Logs:

2024-05-01T16:26:11.132940Z DEBUG Skipped sending request for certificate 7525999521597754.. to '127.0.0.1:5003' (2 redundant requests)2024-05-01T16:26:11.132940Z DEBUG Skipped sending request for certificate 7525999521597754.. to '127.0.0.1:5003' (2 redundant requests)

Additionally:

2024-05-01T16:17:34.709477Z ERROR Unable to advance to the next block - Failed to speculate on transactions - Failed to post-ratify - Next round 738 must be greater than current round 738 2024-05-01T16:17:34.709539Z ERROR BFT failed to advance the subdag for round 738 - Failed to speculate on transactions - Failed to post-ratify - Next round 738 must be greater than current round 738 the cause of this issue has not been identified yet

Impact

Summary:

This attack can prevent honest nodes from participating effectively in the consensus process, thereby affecting block production.