Nova/src/spartan
FFrançois Garillotrefactor: streamline some traits and bounds (#207)
* refactor: Remove redundant PrimeField bound in various modules
* refactor: Refactor main Group trait to use group::Group
- the main Group trait now uses ::zkcrypto::group::Group
- Refactored the usage of generic type associated 'Scalar' across multiple files and functions from 'G::Scalar' to fully qualified '<G as Group>::Scalar'.
- No new features were added, functionality remained the same, changes were mostly aimed at improving type inference and handling.
* Revert "refactor: Refactor main Group trait to use group::Group"
This reverts commit 5ee05905886c74d32449ac7940839a9f8a4d1685.cdab403Jul 25, 2023
..
direct.rs-rw-r--r--7920 Bmath.rs-rw-r--r--717 Bmod.rs-rw-r--r--3330 Bpolynomial.rs-rw-r--r--4250 Bppsnark.rs-rw-r--r--62187 Bsnark.rs-rw-r--r--16748 Bsumcheck.rs-rw-r--r--12761 B