madztheo / noir-react-native-starter

A simple template to generate ZK proofs with Noir on mobile using React Native
MIT License
20 stars 5 forks source link

Integrate noir_java and noir_swift #1

Closed madztheo closed 4 months ago

madztheo commented 11 months ago

The core interface in React Native is already here, and we now need to add noir_java and noir_swift into the project to be able to generate proofs in the application.

The Noir circuit that should be executed is this one:

fn main(a: Field, b: Field, result: pub Field) {
    assert(a * b == result);
}

For this simple example, we therefore let the user specify two factors that will remain private while the result of the product, of these two factors, is public.