zkllvm-blueprint
zkllvm-blueprint copied to clipboard
check that vars are initialized in the add_copy_constraint function