erhant/zkbrainfuck

This is stars and forks stats for /erhant/zkbrainfuck repository. As of 11 May, 2024 this repository has 53 stars and 0 forks.

zkBrainfuck A Brainfuck zkVM to prove correct execution of a Brainfuck program with secret inputs. Brainfuck is a Turing-complete language that has only 8 operations, shown in the table below. Any other symbol is ignored, and may effectively be used as comments. Code Operation > increment data pointer < decrement data pointer + increment pointed data - decrement pointed data , write to pointed data . read from pointed data [ if pointed data is zero, goto matching ] ] if pointed data is non-zero,...