Skip to content

Add simple ZkProgram use to Mina template#74

Open
SpaceManiac wants to merge 6 commits into
mainfrom
patch/zkprogram
Open

Add simple ZkProgram use to Mina template#74
SpaceManiac wants to merge 6 commits into
mainfrom
patch/zkprogram

Conversation

@SpaceManiac

Copy link
Copy Markdown
Contributor

Demonstrates that ZkProgram can be used to generate and verify proofs that can then be verified independently from Mina or as inputs to Mina contracts.

}
}

class SudokuZkApp extends SmartContract {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Probably we don't want to delete the old contract, and rather have an example of both options

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This - gets +'d back later in the file, so SudokuZkApp still exists. Its submitSolution signature does change, but I could also put it back and add the new one as submitSolution2 or something.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

OK, both methods are now demonstrated.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants