Getting started guide

[That3Percent]

Summary

I'd like some quick information on how to put together an end-to-end example using arkworks.

Problem Definition

Taking a look at the examples, I was able to get about this far:

fn prove_sum() {
    let values = vec![0u128, 1, 2, 3];
    let sum: u128 = values.iter().sum();
    let cs = ConstraintSystem::<Fr>::new_ref();
    let sum_i = var(&cs, &sum, Input);
    let mut sum_v = var(&cs, &0, Constant);
    for value in values.iter() {
        sum_v += var(&cs, value, Witness);
    }
    sum_i.enforce_equal(&sum_v).unwrap();
    cs.finalize();
    assert!(cs.is_satisfied().unwrap());
}

This creates a constraint system where the sum of all the witnessed in data is constrained to equal a publicly known sum. Great! But, now what? I also need to also be able to construct the same constraint system without any data in a way that it could verify for some commitment and public inputs that the constraint system is satisfied. I also need to be able to somehow export a commitment using this constraint system for a given set of input data.

Proposal

It would be great to have some documentation on how to solve common problems with arkworks, how the code is generally laid out, and just enough information to let people answer the right questions.

---

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate contributors tagged
• Contributor assigned/self-assigned