Created equals_sp block for comparing secret and public variables. Implemented require_mul (first "final" block).