RUB-SysSec / nyx-net

183 stars 20 forks source link

Comparison of Snapshot Taking Costs vs. Test Case Transmission Costs #8

Open Br1m4zz opened 6 months ago

Br1m4zz commented 6 months ago

I am very fond of your work on protocol fuzz testing, and I am currently attempting to optimize nyx-net. In nyx-net, the transmission of prefix messages is achieved through taking incremental snapshots.

I have a question: During the fuzz testing process, are there scenarios where the cost of directly sending prefix messages is less than the cost of taking incremental snapshots? Is this phenomenon common?

For instance, if there are 10 prefix messages, would it be faster to place a snapshot after the 8th message and then restore, followed by sending the remaining two messages to reach a certain state, rather than placing a snapshot directly after the 10th message?