search

HerodotusDev / integrity

Cairo STARK proof verifier for Starknet
Apache License 2.0
67 stars 20 forks source link

Create generate_queries Function #25

Closed Okm165 closed 10 months ago

Okm165 commented 11 months ago

The objective of this task is to develop the generate_queries function, a crucial component for sampling random queries from the verifier in cryptographic protocols. This function will play a vital role in generating query indices and ensuring the randomness and integrity of the sampling process. It involves intricate handling of the sampling mechanism, including the efficient generation of random query indices within specified bounds and the subsequent sorting and deduplication of these queries. Reference: https://vscode.dev/github/Okm165/cairo-lang/blob/v0.11.0-run-proof-sw-patch/cairo-lang-0.11.0/starkware/cairo/stark_verifier/core/queries.cairo#L11

Okm165 commented 10 months ago

Developing tests for generate_queries & queries_to_points