Skip to content

Commit

Permalink
fix(ffi): fix udl
Browse files Browse the repository at this point in the history
  • Loading branch information
vivianjeng committed Oct 2, 2024
1 parent e116ad9 commit 4a7788b
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions mopro-ffi/src/mopro.udl
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,11 @@ dictionary GenerateProofResult {
bytes inputs;
};

dictionary GkrProofResult {
bytes proof;
string output_claims;
};

// dictionary BenchmarkResult {
// u32 instance_size;
// u32 num_instance;
Expand All @@ -55,4 +60,5 @@ dictionary ProofCalldata {
enum MoproError {
"CircomError",
"Halo2Error",
"GkrError",
};

0 comments on commit 4a7788b

Please sign in to comment.