File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed
Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change 55zkvm-brainfuck is a ZK-VM for the Brainfuck language, built on [ Plonky3] ( https://github.com/Plonky3/Plonky3 ) .
66
77- Designed as a register machine instead of a stack machine with RAM.
8- - Compared to SP1, this system employs a single shard and produces only core proofs .
8+ - Compared to SP1, this system employs a single shard and produces only one core proof .
99- Lookup serves two key purposes:
1010 - Cross-Chip Communication - The chip needs to send the logic which itself cannot verify to other chips for verification.
1111 - Consistency of memory access (the data read by the memory is the data written before) - Proving that the read and write data are “permuted”.
1212
13+ [ Chinese doc] ( https://aping-dev.com/index.php/category/zkVM/ ) .
14+
1315# Usage
1416
1517``` rust
You can’t perform that action at this time.
0 commit comments