Skip to content

Commit

Permalink
Add a description for multiplexer
Browse files Browse the repository at this point in the history
  • Loading branch information
ConstanceBeguier committed Oct 17, 2023
1 parent 359cda1 commit 0e67bbb
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions halo2_gadgets/src/utilities/mux.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,13 @@
//! Gadget and chip for a multiplexer.
//!
//! Given an input `(choice, left, right)`, the multiplexer returns
//! - `left` if choice=0,
//! - `right` otherwise.
//! `left` and `right` are either both points or both non-identity points.
//! The output of the multiplexer has the same format as the `left` and `right` inputs.
//! If `left` and `right` are points (resp. non-identity points), the output is a point (resp. non-identity point).
//!
//! `choice` must be constrained to {0, 1} separately.
use crate::ecc::chip::{EccPoint, NonIdentityEccPoint};
use halo2_proofs::{
Expand Down

0 comments on commit 0e67bbb

Please sign in to comment.