Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
martyall authored Jun 2, 2024
1 parent 8559f63 commit 8c01087
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Factors

The hello world app of ZK: prove you know a factorization without revealing the factors.
The hello world app of ZK: prove you know a non-trivial factorization of an integer without revealing the factors.

This repo serves as a guide to show how to plug a ZK Haskell program into existing proving software. In this case we want to build a browser based proving application with an Ethereum smart contract verifier, and we will make use of the [snarkjs](https://github.com/iden3/snarkjs) proving library. There are similar integrations for [arkworks](https://github.com/arkworks-rs), the [nova](https://github.com/microsoft/Nova) folding scheme and more to come.

Expand Down

0 comments on commit 8c01087

Please sign in to comment.