First creating the circuits using typescript we just wnat to create the proof using the smark js then using hardhat we compile and deploy the hardhat to that