Skip to content

Commit

Permalink
Update foreign-field.ts
Browse files Browse the repository at this point in the history
  • Loading branch information
zeevick10 authored Dec 16, 2024
1 parent 86e9ee5 commit daf0e63
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/examples/crypto/foreign-field.ts
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ assert(z instanceof SmallField.Unreduced);
// note: "unreduced" doesn't usually mean that the underlying witness is larger than the modulus.
// it just means we haven't _proved_ so.. which means a malicious prover _could_ have managed to make it larger.

// unreduced fields can be added and subtracted, but not be used in multiplcation:
// unreduced fields can be added and subtracted, but not be used in multiplication:

z.add(1).sub(x).assertEquals(0); // works

Expand Down

0 comments on commit daf0e63

Please sign in to comment.