Skip to content
This repository has been archived by the owner on Feb 28, 2022. It is now read-only.

OwnedProxy Testing / Deployment / Verifier #54

Merged
merged 48 commits into from Dec 31, 2020
Merged

Conversation

SilentCicero
Copy link
Member

@SilentCicero SilentCicero commented Dec 31, 2020

  • Additional owned proxy testing
  • Deployment code update
  • Verifier code update
  • Simulation and prover fuzzing
  • Payable protections
  • Withdrawal testing
  • Additional testing harness fixes

src/Fraud.yulp Outdated Show resolved Hide resolved
src/Fraud.yulp Outdated Show resolved Hide resolved
src/Fraud.yulp Outdated Show resolved Hide resolved
src/Funnel.yulp Outdated Show resolved Hide resolved
@adlerjohn
Copy link
Contributor

Functionality looks fine, just documentation that needs to be cleaned up.

SilentCicero and others added 4 commits December 31, 2020 13:20
Co-authored-by: John Adler <adlerjohn@users.noreply.github.com>
Co-authored-by: John Adler <adlerjohn@users.noreply.github.com>
Co-authored-by: John Adler <adlerjohn@users.noreply.github.com>
Co-authored-by: John Adler <adlerjohn@users.noreply.github.com>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants