Skip to content

Conversation

weikengchen
Copy link
Member

This is an extracted part of the constraints PR.

This part does two things:

  • Remove unnecessary lifetime specifiers.
  • Remove a few cows.
  • Remove C: CosntraintSynthesizer from many of the data structures' type parameters, since it is somehow unnecessary.

This change might be breaking that may affect Ryan's project.
So, I hereby request Ryan (@ryanleh) for a review.

@weikengchen weikengchen requested a review from ryanleh December 15, 2020 08:56
@ryanleh
Copy link
Contributor

ryanleh commented Dec 15, 2020

LGTM mod the one comment! The merge for me should be fairly painless :)

@weikengchen weikengchen merged commit 6bdbf34 into master Dec 15, 2020
@weikengchen weikengchen deleted the remove-c-in-type branch December 15, 2020 19:17
weikengchen added a commit that referenced this pull request Dec 17, 2020
…master` (#52)

* Update for arkworks-rs/algebra#53

* Automatically pad the formatted input size to 2^k (#47)

* support public input that is not 2^k

* Update src/lib.rs

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

* fmt

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

* Add the benchmark (#48)

* add bench

* fix

* fmt

* multithread

* update the remark

* Remove circuit `C` and some lifetime specifiers from the type (#50)

* remove c in type

* fix

* remove an unnecessary clone

* Add serialization for Proof (#51)

* add serialization for Proof

* add unchecked serialization

* fix bench and add uncompressed serialization

* fix bench

Co-authored-by: Ryan Lehmkuhl <ryanleh.ob@gmail.com>
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants