Add Snarkify Cloud support via snarkify-sdk

[Gigatron]

This PR demonstrates how we can turn an existing halo2 circuit project into a deployable supported by Snarkify Cloud. The major changes are:

1. Add snarkify-sdk as dependency
2. Implement the ProofHandler trait along with the prove method to handle input params and produce a proof output

[chaosma]

For demo purpose, we can support input message of type Vec. In this case, we can first use the poseidon_hash function in the library to calculate the out_hash as the public input. The issue is from user's perpective, he/she doesn't know the output hash without precalculate it.

But at least with a larger size of input and increase K accordingly might be better.

[Gigatron]

Just to confirm, shall we remove the public_input (the hash) and calculate it?

[Gigatron]

should we produce (hash_value, proof) in that case? @chaosma

[drouyang]

Per our discussion

• create rust binary that takes integer inputs and outputs a Poseidon hash
• server computes the hash_value and proof for the user

[cyphersnake]

Need a little more top-level context. I understand the repository, but want to understand exactly how it is planned to be used for the demo. I.e. will this code be part of a public presentation of a cloud platform for example

[cyphersnake]

Each folder and file is a module. Usually you do not specify paths to specific files, but make a structure, i.e. these modules should be imported from super.

Can you tell me what purpose you are pursuing with such a project structure? When we have both main.rs and bin/snarkify.rs?

[drouyang]

Sounds like we need ‘super’ here.

my understanding is that the code has an existing main.rs, to integrate with snarkify-sdk, we created a new bin/snarkify.rs. Developers can use main.rs to run their code locally, while bin/snarkify.rs is for cloud integration

[Gigatron]

need some hints on how I can use super here, chatgpt doesn't seem to be able to provide an answer

[cyphersnake]

NBD:

use halo2_proofs::{
    plonk::{create_proof, keygen_pk, keygen_vk, verify_proof},
    poly::{
        commitment::ParamsProver,
        ipa::{
            commitment::{IPACommitmentScheme, ParamsIPA},
            multiopen::ProverIPA,
            strategy::SingleStrategy,
        },
        VerificationStrategy,
    },
    transcript::{
        Blake2bRead, Blake2bWrite, Challenge255, TranscriptReadBuffer, TranscriptWriterBuffer,
    },
};

[drouyang]

will this code be part of a public presentation of a cloud platform for example

Please follow this tutorial and try it out https://docs.snarkify.io/introduction/quickstart/deploy-your-first-prover

[cyphersnake]

Please follow this tutorial and try it out

I still tried it yesterday (all that's left is to generate a proof), the question is exactly about what the final presentation of the cloud platform will look like

I'm asking to understand to what extent to pick on the code

[drouyang]

Easier to explain over huddle

[cyphersnake]

Please check #5

[Gigatron]

close as duplicate of #5