Investigation of ethstark

[ucwong]

A new ZKP library for ethereum

1. Code review
2. How to use
3. Run some examples
4. Advantages with others

https://github.com/starkware-libs/ethSTARK

[ucwong]

https://github.com/CortexFoundation/CortexTheseus/issues/630

[DhunterAO]

They claims that ethSTARK code will prove statements 20X faster than any other zero-knowledge proof code.

[ucwong]

StarkWare (@StarkWareLtd) Tweeted: In 2018 @ethereum gave us a grant to select a STARK-friendly hash function & develop open-source ZKP code. https://t.co/mmlLBe7wMK We will deliver our work (pre-audit) in a few weeks, ahead of schedule. ethSTARK code will prove statements 20X faster than any ZKP code out there https://t.co/8mZUKI5wGI https://twitter.com/StarkWareLtd/status/1264911004099543040?s=20 @DhunterAO

You can run the example https://github.com/starkware-libs/ethSTARK/tree/master/example and review the code

[ucwong]

It will be good if they can hold both speed and security.

[DhunterAO]

I havn't find the description about the proof size and verification time cost. It is not as good as zkSnark in my memory. They only claims about the proving speed.

[ucwong]

I havn't find the description about the proof size and verification time cost. It is not as good as zkSnark in my memory. They only claims about the proving speed.

I think they will be a little weak in security.

[ucwong]

In my opinion, zokrates is a good toolbox for zkp and ethereum smart contract, it will be easy for you when you want to use zkp to do something on blockchain

[DhunterAO]

In my opinion, zokrates is a good toolbox for zkp and ethereum smart contract, it will be easy for you when you want to use zkp to do something on blockchain

Yeah, I agree with that. I also think it does matter about the size of proof, because the space is limited on blockchain.

[github-actions[bot]]

Stale issue message