Stark Proof Infra
Verify Stark Proofs in StarkNet Contracts.
About
The problem it solves Problem: Developers can't verify Stark Proofs in StarkNet yet! Solution: Forwards, Sharp(Shared Prover) Results to StarkNet contracts using L1<->L2 messaging bridge.
How it's made
Challenges we ran into Wrapping the "Cairo- Sharp" CLI tool to the API, "Unknown value for memory cell at address " we faced this issue which took majority of our time in solving this and later we found the solution in reference section of Cairo docs😅.