Finite Fields and Modular Arithmetic for ZK Proofs - RareSkills