11个版本
| 0.1.10 | 2022年3月3日 |
|---|---|
| 0.1.9 | 2021年12月3日 |
| 0.1.8 | 2021年10月25日 |
| 0.1.7 | 2021年7月30日 |
1866 在 密码学 中排名
65 每月下载量
在 reverie-zk 中使用
99KB
2K SLoC
mcircuit
一个用于操作布尔和算术电路的类型库
在 docs.rs 上查看
特性
- : 电路类型
- : I/O提取
- : 翻译
- : 明文评估
- : 导入/导出
lib.rs:
MCircuit（发音为mc-urkit）提供了一系列类型和特性，用于处理电路。特别是，在GF2和Z64上的算术电路，前者实际上是布尔电路。它被Reverie使用。
MCircuit包括
- BLIF文件的电路解析库
- 评估其门格式的电路的代码
- 构建、翻译和迭代门特性的代码
- 以Bristol Fashion格式导出电路的代码
依赖项
~2.5–3.5MB
~72K SLoC