Antonio Mejías Gil

Add Hyrax multilinear PCS

9

## Description This PR implements the Hyrax polynomial commitment scheme: a multilinear PCS based on the hardness of the discrete logarithm problem introduced as part of the Hyrax zkSNARK in...

Support for evaluation-hiding PCSs

3

## Problem Definition In many PCSs, a prover commits to a polynomial and is subsequently queried about the value of that committed polynomial at a point chosen by the verifier...

Degree of the zero polynomial

4

Calling `degree` on the zero (univariate) polynomial returns `0` ([here](https://github.com/arkworks-rs/algebra/blob/master/poly/src/polynomial/univariate/dense.rs#L32)). However, the usual mathematical convention is either -infinity (with the set of degrees = N U {-infty} forming an monoid)...

Computing an execution ID from an Authorization

1

As brought up by @vicsn : Can we compute an `execution_id` from an `Authorization` in theory? And is there a relevant use case for this?

Some simple tests should be added for `CanonicalSerialize` implementations. For instance, not too long ago it was discovered that `serialized_size` was returning an incorrect value for `Option` (cf. issue #2948)....