Skip to content

Commit

Permalink
SEEC: Use low-depth adder in mixed-gmw
Browse files Browse the repository at this point in the history
  • Loading branch information
@robinhundt
robinhundt committed May 11, 2024
1 parent f5bfb91 commit b5c2543
Show file tree
Hide file tree
Showing 16 changed files with 1,339 additions and 30 deletions.
7 changes: 7 additions & 0 deletions Cargo.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 3 additions & 0 deletions crates/seec-channel/src/tcp.rs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -134,11 +134,14 @@ mod tests {
use crate::tcp::new_local_pair;
use remoc::codec;
use remoc::rch::mpsc::channel;
use std::time::Duration;

#[tokio::test]
async fn establish_connection() {
let (ch1, ch2) = new_local_pair::<()>(None).await.unwrap();

// Sleep to ensure values have been actually sent and counters are correct
tokio::time::sleep(Duration::from_millis(10));
let (_tx1, bytes_written1, _rx1, bytes_read1) = ch1;
let (_tx2, bytes_written2, _rx2, bytes_read2) = ch2;
assert_eq!(bytes_written1.get(), bytes_read2.get());
Expand Down
1 change: 1 addition & 0 deletions crates/seec/Cargo.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -68,6 +68,7 @@ seec-channel = { path = "../seec-channel" }
remoc = { workspace = true }
zappot = { path = "../zappot" }
typemap = "0.3.3"
typemap_rev = "0.3.0"
seec-bitmatrix = { path = "../seec-bitmatrix" }
either = "1.10.0"
flatbuffers = "23.5.26"
Expand Down
128 changes: 128 additions & 0 deletions crates/seec/circuits/int_add16_depth.bristol
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,128 @@
125 157
16 16 16

2 1 0 16 141 XOR
2 1 1 17 32 XOR
2 1 0 16 33 AND
2 1 32 33 142 XOR
2 1 2 18 34 XOR
2 1 1 17 35 AND
2 1 32 33 36 AND
2 1 35 36 37 XOR
2 1 34 37 143 XOR
2 1 3 19 38 XOR
2 1 2 18 39 AND
2 1 34 35 40 AND
2 1 39 40 41 XOR
2 1 34 32 42 AND
2 1 42 33 43 AND
2 1 41 43 44 XOR
2 1 38 44 144 XOR
2 1 4 20 45 XOR
2 1 3 19 46 AND
2 1 38 44 47 AND
2 1 46 47 48 XOR
2 1 45 48 145 XOR
2 1 5 21 49 XOR
2 1 4 20 50 AND
2 1 45 46 51 AND
2 1 50 51 52 XOR
2 1 45 38 53 AND
2 1 53 44 54 AND
2 1 52 54 55 XOR
2 1 49 55 146 XOR
2 1 6 22 56 XOR
2 1 5 21 57 AND
2 1 49 52 58 AND
2 1 57 58 59 XOR
2 1 49 53 60 AND
2 1 60 44 61 AND
2 1 59 61 62 XOR
2 1 56 62 147 XOR
2 1 7 23 63 XOR
2 1 6 22 64 AND
2 1 56 57 65 AND
2 1 64 65 66 XOR
2 1 56 49 67 AND
2 1 67 52 68 AND
2 1 66 68 69 XOR
2 1 67 53 70 AND
2 1 70 44 71 AND
2 1 69 71 72 XOR
2 1 63 72 148 XOR
2 1 8 24 73 XOR
2 1 7 23 74 AND
2 1 63 72 75 AND
2 1 74 75 76 XOR
2 1 73 76 149 XOR
2 1 9 25 77 XOR
2 1 8 24 78 AND
2 1 73 74 79 AND
2 1 78 79 80 XOR
2 1 73 63 81 AND
2 1 81 72 82 AND
2 1 80 82 83 XOR
2 1 77 83 150 XOR
2 1 10 26 84 XOR
2 1 9 25 85 AND
2 1 77 80 86 AND
2 1 85 86 87 XOR
2 1 77 81 88 AND
2 1 88 72 89 AND
2 1 87 89 90 XOR
2 1 84 90 151 XOR
2 1 11 27 91 XOR
2 1 10 26 92 AND
2 1 84 85 93 AND
2 1 92 93 94 XOR
2 1 84 77 95 AND
2 1 95 80 96 AND
2 1 94 96 97 XOR
2 1 95 81 98 AND
2 1 98 72 99 AND
2 1 97 99 100 XOR
2 1 91 100 152 XOR
2 1 12 28 101 XOR
2 1 11 27 102 AND
2 1 91 97 103 AND
2 1 102 103 104 XOR
2 1 91 98 105 AND
2 1 105 72 106 AND
2 1 104 106 107 XOR
2 1 101 107 153 XOR
2 1 13 29 108 XOR
2 1 12 28 109 AND
2 1 101 102 110 AND
2 1 109 110 111 XOR
2 1 101 91 112 AND
2 1 112 97 113 AND
2 1 111 113 114 XOR
2 1 112 98 115 AND
2 1 115 72 116 AND
2 1 114 116 117 XOR
2 1 108 117 154 XOR
2 1 14 30 118 XOR
2 1 13 29 119 AND
2 1 108 111 120 AND
2 1 119 120 121 XOR
2 1 108 112 122 AND
2 1 122 97 123 AND
2 1 121 123 124 XOR
2 1 122 98 125 AND
2 1 125 72 126 AND
2 1 124 126 127 XOR
2 1 118 127 155 XOR
2 1 15 31 128 XOR
2 1 14 30 129 AND
2 1 118 119 130 AND
2 1 129 130 131 XOR
2 1 118 108 132 AND
2 1 132 111 133 AND
2 1 131 133 134 XOR
2 1 132 112 135 AND
2 1 135 97 136 AND
2 1 134 136 137 XOR
2 1 135 98 138 AND
2 1 138 72 139 AND
2 1 137 139 140 XOR
2 1 128 140 156 XOR
Loading

0 comments on commit b5c2543

Please sign in to comment.