ChainSafe / ChainSafe/ProtoBanshee
Heterogeneous PCD optimization for SHA256
Open
Spike
- Dominant language
- Rust
- Stars
- 0
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
The goal of this spike is to investigate the use of heterogeneous proof-carrying data (PCD) as a potential optimization for expensive SHA256 hashes.
In short, we want to use SHA256 hashes in Halo2 but verify them with Starky since it [was proven](https://ethresear.ch/t/benchmarking-zkp-development-frameworks-the-pantheon-of-zkp/14943#proof-generation-time-8) to be considerably more efficient there.
### [Spec](https://hackmd.io/@timofey/Syhx6DqIn)
### Tasks:
- [ ] #2
- [ ] #3
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.