search

andrewmilson / ministark

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs
MIT License
346 stars 33 forks source link

Support keccak hash #14

Closed sidhujag closed 1 year ago

sidhujag commented 1 year ago

In Syscoin we create blobs (like EIP4844) using quantum resistant, no trusted-setup (keccak hash based) transactions carrying blob data that gets pruned after a finality checkpoint + 6 hours. In hermez zkevm we noticed for now they are able to perform their circuit input checks via the keccak hash (as standardization for using the EVM). Perhaps you can also include this as a standardization effort to integrate into EVM applications such as zkRollups? We do not plan to use KZG commitments like Ethereum due to their need for trusted setup, not being quantum safe and also because we do not shard the data, every node checks the entire blob and stores the entire blob until pruning (which we view as the only way to do this in a decentralized way).

andrewmilson commented 1 year ago

miniSTARK supports keccak now. See this Sandstorm example which was used to submit a proof to StarkWare's Ethereum verifier.