https://github.com/lispc/openvm-aggregation

https://github.com/lispc/openvm-aggregation

Last synced: 8 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/lispc/openvm-aggregation
• Owner: lispc
• Created: 2025-01-06T08:15:51.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2025-01-21T04:43:44.000Z (10 months ago)
• Last Synced: 2025-01-21T05:25:40.730Z (10 months ago)
• Language: Rust
• Size: 27.4 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
Example codes to verify proof inside openvm.

It is like `sp1_zkvm::lib::verify::verify_sp1_proof`.

# verify halo2 proof inside openvm

```

cd factor-example

cargo openvm build

cargo openvm setup

cargo openvm prove evm --input 0x0300000000000000  # to dump the evm.proof file

cd ..

cd utils

cargo run # to dump the protocol.bin file

cd ..

cd halo-aggregation

cargo openvm build

cargo openvm run

cargo openvm prove [app|evm]

```

# verify stark proof inside openvm 

WIP