This repository contains a Protostar environment setup for the Paradigm 2022 CTF Cairo challenges, alongside solutions to the challenges.
See the Protostar docs for setup.
Note: the challenges were designed for Cairo v0.9.x. You can use Protostar v0.3.2 which installs Cairo v0.9.1.
curl -L https://raw.githubusercontent.com/software-mansion/protostar/master/install.sh | bash -s -- -v 0.3.2
If you don't have a /lib folder, create an empty folder named lib in the root dir.
Write your solutions in test_solution.cairo in each respective challenge.
Run your solution using protostar test, e.g.
protostar test proxy/test_solution.cairo
If the test passes, you win!
MIT