From 21c2cac9ec086d31c3f68903b58353d7ddc11776 Mon Sep 17 00:00:00 2001 From: YaoGalteland Date: Thu, 7 Mar 2024 15:14:45 +0100 Subject: [PATCH] fix code running problem --- book/src/design/gadgets/multiplexer.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/book/src/design/gadgets/multiplexer.md b/book/src/design/gadgets/multiplexer.md index 601ed27c7c..ea80244ec6 100644 --- a/book/src/design/gadgets/multiplexer.md +++ b/book/src/design/gadgets/multiplexer.md @@ -8,7 +8,7 @@ If $\textsf{choice}$ is true, it returns $\textsf{right}$; otherwise, it returns mux is an instruction of the conditional swap gadget. -```rust +```rust,ignore,no_run pub trait CondSwapInstructions: UtilitiesInstructions { /// Given an input `(choice, left, right)` where `choice` is a boolean flag, /// returns `left` if `choice` is not set and `right` if `choice` is set. @@ -24,7 +24,7 @@ pub trait CondSwapInstructions: UtilitiesInstructions { ## Implement chip traits -```rust +```rust,ignore,no_run impl CondSwapInstructions for CondSwapChip { fn mux( &self, @@ -89,7 +89,7 @@ The mux chip also extends its functionality to work with elliptic curve points, Based on a boolean flag $\textsf{choice}$, it selects between two given points $\textsf{left}$ and $\textsf{right}$. If $\textsf{choice}$ is true, it returns the point $\textsf{right}$; otherwise, it returns the point $\textsf{left}$. -```rust +```rust,ignore,no_run impl CondSwapChip { /// Given an input `(choice, left, right)` where `choice` is a boolean flag and `left` and `right` are `EccPoint`, /// returns `left` if `choice` is not set and `right` if `choice` is set.