Wyatt Benno

Any update on this one??

Work-around is to manually create the actor for your canisters. Ideally, this would work by default in the examples with nil as the identity to start and the signed in...

Maybe just a note in the docs for now? I bet a lot of people are assuming this works, because it will work on local then when they push to...

Update - I starting working on this in a fork. - [x] Primary Sum-check as a circuit (re-used a lot from Testudo) - [x] CombinedTableEvalProof (Hyrax / DotProductProof) - [...

I have done most of the MSM module and the Hyrax PCS as a R1CS circuit :) After this tedious bit is over, I plan on going back in to...

There has been recent work on non-native field arithmetic that we are porting and modifying a bit to generalize. It should be useful here. https://eprint.iacr.org/2024/265 Will also post the resulting...

Hey @sragss . Last attempt was for Lasso and was not very clean. Very much OS! Appreciate acknowledgments if it ends up being useful :) https://github.com/wyattbenno777/Lasso/blob/r1csVerifier/src/r1cs/r1cs_verifier.rs I stopped when I...

Hey @GUJustin - Do you happen to know off-hand how many MSM / the non-native field work would be for both Zeromorph or HyperKZG? For Hyrax is was two MSM...