Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/jpick713/black-scholes-prover


https://github.com/jpick713/black-scholes-prover

Last synced: 2 months ago
JSON representation

Awesome Lists containing this project

README

        

## Scripts to run

In the root directory, you can run:

###
```
cd program
cargo prove build
```

this builds the elf file

then run:
###
```
cd ../scripts
RUST_LOG=info RUSTFLAGS='-C target-cpu=native' cargo run --release
```