Skip to content

Commit c9df95b

Browse files
committed
fix: nonzero AIR failing
1 parent 877a750 commit c9df95b

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

extensions/memcpy/circuit/src/iteration.rs

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -263,6 +263,12 @@ impl<AB: InteractionBuilder> Air<AB> for MemcpyIterAir {
263263
// Receive message from memcpy bus or send message to it
264264
// The last data is shift if is_boundary = -1, and 4 if is_boundary = 1
265265
// This actually receives when is_boundary = -1
266+
267+
/*
268+
data mismatched along memcpy bus, local.source value?
269+
we only send if is_boundary = -1 or 1
270+
start or end
271+
*/
266272
self.memcpy_bus
267273
.send(
268274
local.timestamp

0 commit comments

Comments
 (0)