https://github.com/orbiter-finance/zkprover-aggregate

https://github.com/orbiter-finance/zkprover-aggregate

Last synced: about 1 month ago
JSON representation

• Host: GitHub
• URL: https://github.com/orbiter-finance/zkprover-aggregate
• Owner: Orbiter-Finance
• License: apache-2.0
• Created: 2023-07-18T08:17:21.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-08-11T06:44:19.000Z (over 1 year ago)
• Last Synced: 2023-08-11T14:08:03.519Z (over 1 year ago)
• Language: Rust
• Size: 317 KB
• Stars: 5
• Watchers: 0
• Forks: 1
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# zkProver-aggregate

zkProver-aggregate is to **fully** support the Cairo-VM, we can prove any computation process of Cairo Program and submit its proof to Ethereum, so Dapps can verify its soundness.

# Goals

Developers can develop their own zk-Dapp with [Cairo language](https://github.com/starkware-libs/cairo) for the best zk develop experience.  STARK-proofs will not be submit to the Ethereum directly, we will reduces its gas consumptions by zk-Snarks recursion proof, about 0.3M (Gas/proof verification)

# Features RoadMap

- [ ] Recrusion STARK proof verification

# Optimization RoadMap

- [ ] fully support the cairo builtin, OutPut, RangeCheck, Pedersen, Ecdsa, Keccak...

- [ ] GPU acceleration for backend STARK-prover

- [ ] Proving with Golidlocks field