Validators cannot verify mining proofs efficiently

[sagar-solana]

Problem

Validators cannot verify mining proofs right now since the function that does the verification assumes the offsets are the same for all proofs. This function also does not correctly generate offsets.

Proposed Solution

The verification function (chacha_cbc_encrypt_file_many_keys) needs to be updated to understand how proofs are generated.

• Per segment that is being verified, this function needs to map encryption keys to offsets per key so that the hashes that are generated are mapped to each key.
• Offset generation on the validator needs to factor in the segment size correctly and then we know the sample range by num_bytes/block_size.

Tag: @sakridge

[sagar-solana]

@sakridge you think you'll be able to look into this at some point?

[jon-chuang]

I can look into this in 6 weeks time.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.

[stale]

This stale issue has been automatically closed. Thank you for your contributions.

[github-actions]

This issue has been automatically locked since there has not been any activity in past 7 days after it was closed. Please open a new issue for related bugs.