Everything you need to know about Leo — part 2

Let’s look ahead and pretend that you have written a Leo program — what does Leo actually do when you run the program?

It takes your code, creates a check scheme that represents the computation you want to run, fills the input leads with the right values, runs the scheme, generates check/check keys, and then combines all the relevant data into a ZKP.

The Leo CLI provides its users with certain sets of commands that make it easier for us to program in Leo. In the official source you can read this documentation, and see all the very programs that make programming easier for us:

Leo also does more than just create a schema for you and generate a proof based on it. It’s packed with functionality that helps keep development time as short as possible. The testing platform, package registry, and import converter work together to save developers a lot of time by ensuring that external features are easy to import and that the code actually does what it was expected to do.

Thank you for reading to the end.

Community Forum:

Author: Kris Moris#8414




Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store