Skip to content
This repository has been archived by the owner on Oct 1, 2024. It is now read-only.

Commit

Permalink
fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
weikengchen committed Oct 1, 2024
1 parent 9888f49 commit 2536307
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions src/bin/demo.rs
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,9 @@ use fibonacci_example_non_table::fiat_shamir::compute_fiat_shamir_hints;
use fibonacci_example_non_table::fold::compute_fold_hints;
use fibonacci_example_non_table::prepare::compute_prepare_hints;
use fibonacci_example_non_table::quotients::compute_quotients_hints;
use fibonacci_example_non_table::split::{FibonacciSplitInput, FibonacciSplitProgram, FibonacciSplitState};
use fibonacci_example_non_table::split::{
FibonacciSplitInput, FibonacciSplitProgram, FibonacciSplitState,
};
use fibonacci_example_non_table::FIB_LOG_SIZE;
use std::io::Write;
use stwo_prover::core::channel::Sha256Channel;
Expand Down Expand Up @@ -38,8 +40,7 @@ fn main() {
let args = Args::parse();

let amount = (2800u64 + 474845 + 325136 + 591542 * 8 + 10000) / 7 + 330 * 10;
let amount_display =
(((amount as f64) / 1000.0 / 1000.0 / 100.0) * 10000.0).ceil() / 10000.0;
let amount_display = (((amount as f64) / 1000.0 / 1000.0 / 100.0) * 10000.0).ceil() / 10000.0;
let amount = (amount_display * 100.0 * 1000.0 * 1000.0) as u64;
let rest = amount - 330 - 400;

Expand Down

0 comments on commit 2536307

Please sign in to comment.