Uni stark few shots#2

Draft

gnull wants to merge 10 commits intomainfrom

uni-stark-few-shots

Commits on Mar 13, 2025

Add a few-shots explanation of how to write prover-verifier code
gnull
committed

Commits on Mar 17, 2025

Commits on Mar 18, 2025

Make the few shots more complete
gnull
committed

Commits on Mar 21, 2025

add more examples, fix older ones
gnull
committed

Commits on Mar 25, 2025

Commits on Mar 26, 2025

Add more instructions on AIR constraints, rename rules
gnull
committed

Commits on Mar 29, 2025

Debug few shots
gnull
committed