S

Stark Proof Infra

Verify Stark Proofs in StarkNet Contracts.

S

Stark Proof Infra

Verify Stark Proofs in StarkNet Contracts.

The problem Stark Proof Infra 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.

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😅.

Discussion