Change Details

Add a rolling bloom filter to remember recently rejected proofs and avoid verifying them multiple times. Add an accessor method to test this filter, and the corresponding unit test. This is a piece of D9370 with improvements.

Add a rolling bloom filter to remember rejected proofs and avoid verifying them multiple times. Add an accessor method to test this filter, and add the corresponding unit test. This is a piece of D9370 with improvements.

Add a rolling bloom filter to remember recently rejected proofs and avoid verifying them multiple times. Add an accessor method to test this filter, and add the corresponding unit test. This is a piece of D9370 with improvements.