leonardoalt

namespace std::convert(1024);
    let int = [];
namespace std::prover(1024);
    enum Query {
        Input(int),
        PrintChar(int),
        Hint(fe),
        DataIdentifier(int, int),
    }
    let eval: expr -> fe = [];

leonardoalt

Checkout branch https://github.com/powdr-labs/powdr/tree/single-snark-halo2

Download setup of size 22 (faster than generating): https://drive.google.com/file/d/1xG_O_KqooiRR3QJno3tXIiNELSB2AQMH/view?usp=sharing

Generate witness and Poseidon transcript proof for this test (application)

cargo run -r pil test_data/asm/book/hello_world.asm --field bn254 --inputs 0 --prove-with halo2 --backend-options "poseidon" -f --params params22.bin

Create application verification key

leonardoalt

machine Brainfuck {
	reg pc[@pc];
	reg X[<=];
	reg Y[<=];
	reg Z[<=];

	// The pc of the given brainfuck program
	reg b_pc;
	// The current operator
	reg op;

leonardoalt

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

contract Halo2Verifier {
    uint256 internal constant    PROOF_LEN_CPTR = 0x44;
    uint256 internal constant        PROOF_CPTR = 0x64;
    uint256 internal constant NUM_INSTANCE_CPTR = 0x04c4;
    uint256 internal constant     INSTANCE_CPTR = 0x04e4;

leonardoalt

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

contract Halo2Verifier {
    uint256 internal constant    PROOF_LEN_CPTR = 0x44;
    uint256 internal constant        PROOF_CPTR = 0x64;
    uint256 internal constant NUM_INSTANCE_CPTR = 0x1304;
    uint256 internal constant     INSTANCE_CPTR = 0x1324;

leonardoalt

Rust Compiler/Systems Engineer @ powdr labs

powdr is a language and compiler framework designed to aid development of zkVMs and ZK proof generation. It consists of a modular stack with an architecture that is agnostic to both frontend languages and backend ZK proof systems. powdr is fully FOSS and built in the open.

For more information, see the docs and source code.

Application

Please email CV, Github, or any relevant info to jobs@powdrlabs.com.

leonardoalt

ZK/Cryptography Engineer @ powdr labs

powdr is a language and compiler framework designed to aid development of zkVMs and ZK proof generation. It consists of a modular stack with an architecture that is agnostic to both frontend languages and backend ZK proof systems. powdr is fully FOSS and built in the open.

For more information, see the docs and source code.

Application

Please email CV, Github, or any relevant info to jobs@powdrlabs.com.

leonardoalt

use std::binary::Binary;
use std::shift::Shift;

machine Main {
	Binary binary;
	Shift shift;

	degree 1048576;
	reg pc[@pc];
	reg X[<=];

leonardoalt

struct State {
	field pc;
	field A;
}

struct Witness {
	field X;
	field reg_write_X_A;
	field instr_ASSERT_IS_ZERO_A;
	field X_const;

leonardoalt

// This file is MIT Licensed.
//
// Copyright 2017 Christian Reitwiessner
// Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
// The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF O