François Garillot cdab40357a refactor: 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.

2023-07-25 12:07:37 -07:00

..

bellperson

refactor: streamline some traits and bounds (#207)

2023-07-25 12:07:37 -07:00

gadgets

test: Tests for polynomial & bignat circuits (#205)

2023-07-17 12:39:00 -07:00

provider

refactor: make CommitmentKeyExtTrait public (#200)

2023-07-12 14:51:59 -07:00

spartan

Small code organization improvements (#206)

2023-07-21 11:24:47 -07:00

traits

refactor: streamline some traits and bounds (#207)

2023-07-25 12:07:37 -07:00

circuit.rs

Add Grumpkin cycle implementation (#181)

2023-07-05 16:10:05 -07:00

constants.rs

Support for arbitrary arity for step circuit's IO (#107)

2022-08-16 11:35:17 -07:00

errors.rs

A more optimal preprocessing SNARK (#158)

2023-03-31 18:54:32 -07:00

lib.rs

update the dependencies & code clean (#196)

2023-07-10 19:12:31 -07:00

nifs.rs

fix typo (#189)

2023-07-06 20:07:33 -07:00

r1cs.rs

Small code organization improvements (#206)

2023-07-21 11:24:47 -07:00