* doctest for `KZG::setup`

fix doctest formatting

* doctest for KZG::commit

* Reorder doctest imports

* update to latest algebra changes

---------

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* intermediate commit

* building passing

* tests passing

* cargo fmt

* Address comments

* Improve checks

* Format

* Fix CI for no-std

* Update CHANGELOG

* Fix no-std

Co-authored-by: Marcin Gorny <marcin.gorny.94@protonmail.com>

* Revert CI change

* Fix CI for merge groups

---------

Co-authored-by: nikkolasg <nikkolasg@gmail.com>
Co-authored-by: Nicolas Gailly <nikkolasg@users.noreply.github.com>
Co-authored-by: Marcin Gorny <marcin.gorny.94@protonmail.com>

* Rename UVPolynomial to DenseUVPolynomial

needed due to https://github.com/arkworks-rs/algebra/pull/412



* Fix formatting

* Fix `msm` usage after `ark-ec` breaking change

Use `<E::G{1,2}Projective as VariableBaseMSM>::msm_bigint` instead of `VariableBase::msm`

* Removed ToBytes implementations and replaced uses of the tobytes! macro.

* Update Cargo.toml

* Update src/ipa_pc/mod.rs

* Apply suggestions from code review

* apply fmt

* small change to ipa_pc open

Co-authored-by: Marcin Górny <marcin.gorny.94@protonmail.com>
Co-authored-by: Weikeng Chen <w.k@berkeley.edu>

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
Co-authored-by: Michele Orrù <michele.orru@berkeley.edu>

* Use the latest algebra and std repo

* address the stdrng issue

Co-authored-by: Weikeng Chen <w.k@berkeley.edu>

Note that the link to PST paper is https://ia.cr/2011/587 instead of https://ia.cr.org/2011/587

This PR fixes this.

Co-authored-by: Alex Xiong <alex.xiong.tech@gmail.com>
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* Release v0.3.0

* fmt

* replace rand

* fix

* add multilinear_pc barebones

* add multilinear extension commitment scheme

* add unit tests

* temporarily change dependency

* change dependency

* add trim

* remove `get_key`

* use `format` from ark_std

* fmt

* revert prev two

* tweak

* fmt

* Slightly tune the comments

* fmt

Co-authored-by: Weikeng Chen <w.k@berkeley.edu>

* off-by-1 error in checking polynomial degree - test

* off-by-1 error in checking polynomial degree - better test

* off-by-1 error in checking polynomial degree - fmt fixed

* Add multivariate pc support

* Integrate new polynomial interfaces

* Fix no_std

* Reduce code reuse

* Small optimizations

* Update for arkworks + tweaks

* Fix

* fmt

* Handle the conflict with `master` on sonic_pc

* Handle the upstream conflict

* Handle the conflict with the upstream

* Handle the conflict with the upstream

* Cargo fmt

* mul update; add serialization

* Update the references

* Reconcile the citation

* fix some missing points

Co-authored-by: Weikeng Chen <w.k@berkeley.edu>
Co-authored-by: oblivious-app <55861861+oblivious-app@users.noreply.github.com>

* Update data_structures.rs

* Update data_structures.rs

* add serialization for labeled poly

* no std

* add serialization

* test_rng in ark_std

* remove an unnecessary allow non camel

* add the trait part of the constraints

* fix

* Update src/constraints.rs

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* Update src/constraints.rs

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* Update src/constraints.rs

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* Update src/constraints.rs

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* Update src/constraints.rs

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

* fix

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>