Antonio Mejías Gil

Hello! I've been doing some work trying to get the algorithms @alexander-zw implemented to actually be called during sqrt calls on the fields - so far they are implemented, but...

@mmagician @autquis @Pratyush I have just pushed a couple of commits, the most relevant of which is the following: https://github.com/arkworks-rs/poly-commit/pull/132/commits/8d356dbc24bc47201133a6c09e4f09d007dfb0ed. This fixes a small issue we noticed while going through...

I am happy with the current state of things! Let us see if @Pratyush would like any further tweaks regarding the open threads of this discussion.

After some more thought, I've noticed the following: in the potential correction of Hyrax to match its hiding nature, the commitment to the evaluation would be included in the proof...

@Pratyush @mmagician **Decision needed** We realised the previous implementation of operators *, /, - for owned `DensePolynomial` (instead of references) broke some things. For instance, [this line in poly-commit](https://github.com/arkworks-rs/poly-commit/blob/12f5529c9ca609d07dd4683fcd1e196bc375eb0d/poly-commit/src/streaming_kzg/time.rs#L138) stopped...

Wow, very interesting pointers (no pun intended) to the docs and examples, @burdges . Thanks a lot! The coercion decisions seem tricky to pin down. @Cesar199999 and I will test...

I agree, I have also found that being forced to treat that case separately sometimes improves the design or avoids bugs :)

Something that has given me good results is for `degree()` to return an `Option`, which - On one hand, is mathematically clean (cLEAN ;)) and forces the programmer to at...

Same here. I have tried creating a new project, reinstalling the script and updating Resolve. None helped. Incidentally, I think this is the same issue as #172 Edit for context:...

I recently ran into this issue (precisely when writing a test that involves doing sth similar to key derivation inside an Aleo-instructions program). My current fix has been to get...