Parman - Activate OP_GFY now!! on Nostr: I am offering 150,000 sats to anyone who can demonstrate a zk-stark working in the ...

I am offering 150,000 sats to anyone who can demonstrate a zk-stark working in the following way...

1) I will create a text file with some arbitrary content, encrypt it, and hash the encrypted version.

2) You shall get a copy of the plain text and the encrypted file, and the decryption key.

3) I will pretend to not know the contents for this exercise, for proof of concept.

4) You will create code that can generate a zk-proof that takes these inputs:

a) the encrypted file
b) the decryption key
c) a regex search (or simple grep search if regex too complex)

... and returns a True or False reading with respect to the regex search.

5) The hard part: I will give you a "random" regex to search, you create the proof, and direct me how to perform a verification SIMPLY, on my local Linux computer, with free open source software, and without the need for a shitcoin's blockchain or 3rd party verifier. I HAVE TO VERIFY.

6) The hardest part - I'll need to be shown that there's a clear way that I can reproduce the procedure; if I need to learn a new coding language, that's not a barrier. If I need to build my own polynomial circuit for this very basic zk-stark check, that could take years of work, so no beuno.

You can use libraries to build the polynomial circuit, but I must be able to be convinced trustlessly that your computer has honestly performed the regex search, and you know if the document contains the search term, and can do that without revealing the contents of the document or the decryption key.

If you do this I agree to paying the bounty and if satisfied, will probably give a tip. I reserve the right to refuse to pay if I detect trickery, shenaniganary, or abuse, eg weaseling out of doing what I intended because of some loophole in the way I structured these terms.

This must be a zk-stark proof, not zk-snark. There must be no back doors, and no trusted setup. If I detect trust required, defeating the purpose of a zk-stark, the deal is off... but I may still pay some amount at my discretion; it's hard to know in advance.


--------
Tweet from 5 days ago ..

After 4 days of math and research, I can demonstrate to anyone interested that #zkstarks is a scam...

They claim to remove the trusted setup of zk-snarks (used in the shit coin zcash), but in fact have shifted the trust to the proover who designs the the individual contract (circuit).

The verifier can't see the circuit but can mathematically verify that the circuit behaves as claimed. Many hundreds of pages have been devoted to showing how the link between the circuit and the proof is valid, but the very first step is not discussed. "How is anyone to know of the circuit was created honestly in the first place?"

The functioning of the circuit is obfuscated mathematically with high degree polynomials, so it could be malicious and the approval must be trusted in how they designed it.

For instance, a claim could be made that a particular encrypted document when decrypted with a key that is not seen yeilds a true result. But the malicious actor could instead insert code that gives a true result directly if that same document is inputted.

No actual decryption is designed to happen. Then this code is converted to a polynomial, and then expand (low degree expansion) to obfuscate the original code.

The verifier then checks that the polynomial behaves as expected, but they've got no way of checking that the correct polynomial has been used.

They could enter or check documents that are different to the target, and of course they'll get a false reading in the same way that they would if the key didn't work, but they'll be deceived.

While the mathematics works, actual inputs a malicious meaning that the setup is trusted...

NZK starks is a scam, bamboozling everyone with mathematics, and hiding the fact If something is simple as:

dog shit in, dog shit out

And they want to bring this into Bitcoin, pppppfffffftttt FUCK YOU