total uncompressed bytes
197.4 KB
total files
24
Fix
9 wasted files
total waste: 6.3 KB
- test_programs/8bit_comparator.zk : 2.9 KB
- shell.nix : 2.1 KB
- test_programs/deg_15.zk : 618 B
- test_programs/lispesque_cubic.zk : 174 B
- test_programs/lispesque_quad.zk : 138 B
- test_programs/simple.zk : 114 B
- test_programs/cubic_share.zk : 89 B
- .gitignore : 70 B
- test_programs/quad_share.zk : 66 B