Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add in-browser delegation demo to Mina template #81

Draft
wants to merge 41 commits into
base: main
Choose a base branch
from
Draft

Add in-browser delegation demo to Mina template #81

wants to merge 41 commits into from

Conversation

SpaceManiac
Copy link
Contributor

@SpaceManiac SpaceManiac commented Jul 15, 2024 •
edited
Loading

Draft pending #74.

Depends on PaimaStudios/paima-engine#393.

  • Add middleware functions to compile and invoke DelegationProgram.
  • Add web frontend to Mina template that imports and calls into middleware.
  • Prompt wallet to sign a delegation order and prove the signature.
    • Currently presents binary crap in (for example) Metamask; this could possibly be improved.

TODO:

  • Possibly fix binary crap showing in wallet.
  • Display something useful in the web page instead of just the console.
  • Submit generated DelegationProof to backend to demonstrate its validity.
  • Move reusable parts to Add middleware helpers for Mina paima-engine#393.

@SpaceManiac
Add simple ZkProgram use to Mina template
2f070be
@SpaceManiac
Give contract both submitSolution and submitSolutionProof methods
22e6e69
@SpaceManiac
Submit Mina proof to Hardhat EVM
1fd7aef
@SpaceManiac
Verify the Sudoku proof on the state transition side
5e220fc
@SpaceManiac
Upgrade to o1js v1.3.1
7446d9d
@SpaceManiac
Use forceRecompile to fix hang on verify
c455d01
@SpaceManiac
Add first sketch of proving an ECDSA signature
8791d1e
@SpaceManiac
Add secondary proof and no-op proof for speed comparison
12b960e
@SpaceManiac
Add double-MerkleTree contract
84a86e3
@SpaceManiac
Clean up duplication in DelegationOrder code
ede2978
@SpaceManiac
Get circuit size manageable by using just one MerkleTree layer
5571a31
@SpaceManiac
Fix errors by adding missing awaits, improve formatting
bc70a23
@SpaceManiac
Split contracts/run.ts into cli/ package
aac6b5c
@SpaceManiac
Replace DelegationOrder code with @paima/mina-delegation import
205ad3b
@SpaceManiac
Add basic frontend with headers for o1js
465b19b
@SpaceManiac
Shove compile() call into web worker
451c140
@SpaceManiac
Use new middleware to sign binary DelegationOrder
372acaf
@SpaceManiac
Add OPFS cache
7714f44
@SpaceManiac
Update to o1js 1.4.0
1ebcac7
@SpaceManiac
Regen package-lock.json to fix o1js duplication
5cfff2e
@SpaceManiac
Fix issues preventing actually arriving at a proof
dde5191
@SpaceManiac SpaceManiac mentioned this pull request Jul 15, 2024
Draft
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@SpaceManiac