Commit 010ab4b

committed

✨ Use Hyle AutoProver

1 parent 46761a6 commit 010ab4bCopy full SHA for 010ab4b

6 files changed

+91

-380

lines changed

Cargo.lock
Cargo.toml
contracts/wallet/src
- lib.rs
- main.rs
server/src
- main.rs
- prover.rs

6 files changed

+91

-380

lines changed

Comments

(0)