HerodotusDev / integrity

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

Implementation of Fast Reed-Solomon Interactive Proof of Proximity (FRIPoP) #16

Closed Okm165 closed 11 months ago

Okm165 commented 11 months ago

Overview

This pull request introduces a significant enhancement to the Cairo1 verifier by implementing the Fast Reed-Solomon Interactive Proof of Proximity (FRIPoP). This enhancement is the final step in the STARK proof verification process.