Skip to content

Commit

Permalink
Changes after review
Browse files Browse the repository at this point in the history
  • Loading branch information
JackPiri committed Jun 3, 2024
1 parent fb87edc commit 4b8f575
Show file tree
Hide file tree
Showing 13 changed files with 78 additions and 130,252 deletions.
2 changes: 1 addition & 1 deletion HEADER-APACHE2
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright 2024, The Horizen Foundation
// Copyright 2024, Horizen Labs, Inc.
// SPDX-License-Identifier: Apache-2.0
//
// Licensed under the Apache License, Version 2.0 (the "License");
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# risc0-verifier

A verifier for [RISC-Zero](https://github.com/risc0/risc0) STARK proofs. This crate
A verifier for [RISC-Zero](https://github.com/risc0/risc0) STARK proofs.

This crate provides a way for deserializing the proof and the verification key (aka image id) and a function to check if the proof is correct:

Expand Down
Binary file removed resources/guest_1/guest_1
Binary file not shown.
Loading

0 comments on commit 4b8f575

Please sign in to comment.