Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature: specify verifier when generating proof #10

Merged
merged 4 commits into from
Feb 24, 2024
Merged

Feature: specify verifier when generating proof #10

Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
10cf530
Feature: specify verifier when generating proof
odesenfans Feb 23, 2024
f93ee5a
fmt
odesenfans Feb 23, 2024
f5e88d8
clippy
odesenfans Feb 23, 2024
970f86c
fmt
odesenfans Feb 23, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
clippy
  • Loading branch information
@odesenfans
odesenfans committed Feb 23, 2024
commit f5e88d818efccdee453d515d16717f5ad0e82b2d
4 changes: 2 additions & 2 deletions src/commands/prove.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -101,7 +101,7 @@ pub fn run_with_bootloader(
let bootloader = Program::from_bytes(BOOTLOADER_PROGRAM, Some("main"))
.map_err(RunError::FailedToLoadBootloader)?;
let tasks: Result<Vec<TaskSpec>, RunError> = executables
.into_iter()
.iter()
.map(|path| {
task_from_file(path).map_err(|e| match e {
TaskError::Pie(e) => RunError::FailedToLoadPie(path.to_path_buf(), e),
Expand All @@ -116,7 +116,7 @@ pub fn run_with_bootloader(
Some(layout),
Some(allow_missing_builtins),
)
.map_err(|e| e.into())
.map_err(|e| e.into())
}

pub fn prove(command: ProveCommand) -> Result<(), RunError> {
Expand Down
Loading