HerodotusDev / integrity

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

Develop public_input_hash Function #24

Closed Okm165 closed 10 months ago

Okm165 commented 11 months ago

This task involves the development of the public_input_hash function, which is essential for computing the hash of the public input used as the initial seed in the Fiat-Shamir heuristic. The function's primary objective is to ensure a secure and accurate hashing process, incorporating various elements of the public input. This includes handling the main page hash, utilizing different hashing algorithms like Blake2s, and processing various public input parameters. 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/air/public_input.cairo#L59

Okm165 commented 10 months ago

Developing tests for public_input_hash