Andrew Zitek-Estrada

Results 5 issues of Andrew Zitek-Estrada

Possibly just need to add this variable `lookup-only=true` see docs: https://github.com/actions/cache#inputs Comes from this comment: https://github.com/arkworks-rs/curves/pull/179#issuecomment-1734123120

D-easy
P-low
T-test

What does this PR do? - it updates dependencies in cargo toml from arkworks 3 to 4 and works changes through the code - see https://github.com/arkworks-rs/ldt/pull/11

What does this PR do? We'd either need a solution for the errors in https://github.com/arkworks-rs/ldt/pull/10 or alternatively if appropriate we could just remove this check.

Synopsis: First I noticed gemini -> main compile fails: ``` error: failed to load source for dependency `ark-ec` Caused by: Unable to update https://github.com/mmaker/algebra?branch=feature/additive-groups#1419b95a ``` Then I noticed the PR...

What does this PR do? - implements STIR found at https://github.com/WizardOfMenlo/stir - implements direct LDT - implements traits for LDT, Prover, and Verifier - implements traits for Statement and Witness...