🛠️ [TASK]: Tally proof for `catalyst-voting`

[Mr-Leshiy]

Summary

Implement a tally ZK proof generation and validation procedures for the catalyst-voting crate, based on this spec https://input-output-hk.github.io/catalyst-voices/architecture/08_concepts/voting_transaction/crypto.

Description

Add a new functionality into the tally module of the catalyst-voting crate, with the tally proof generation and proof verification capabilities