Update README.md

Author: martyall

Diff for: README.md

@@ -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.