Skip to content

Commit

Permalink
Update docs/zkapps/o1js/bitwise-operations.mdx
Browse files Browse the repository at this point in the history
Co-authored-by: Nic Young <20563+nicc@users.noreply.github.com>
  • Loading branch information
barriebyron and nicc authored Dec 1, 2023
1 parent 26d103c commit ddd2d26
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/zkapps/o1js/bitwise-operations.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ The `and()` gadget:
- Compares two bits and returns 1 only if both bits are 1. Returns 0 if either bit is not 1.
- Constrains both input values to fit into `paddedLength` bits.
- Both Field elements must fit into `2^paddedLength - 1`.
- Guarantees that the output is has at most `paddedLength` bits.
- Guarantees that the output has at most `paddedLength` bits.

For details about the implementation, see [AND](https://o1-labs.github.io/proof-systems/specs/kimchi.html?highlight=gates#and) in the Mina book.

Expand Down

0 comments on commit ddd2d26

Please sign in to comment.