Composability and Recursion in snarkyJS

1. introduction

This article is mainly from O(1) Labs CTO Izaak Meckler stay Compiler and Composability in ZKP The speech on .

ZK programming system The goal is ：

• Easy to learn
• Easy to develop
  • well IDE
  • test
  • Package management
• Easy to integrate with other parts of the application
  • browser
  • Intelligent contract Verifier
• performance

2. ZK programming system classification

ZK programming system It is mainly divided into 2 Categories: ：

• 1） be based on Bytecode/VM The system of ：
  • Compile in a new language （ Such as Cairo）
  • Compile in an existing language （ Such as RISC0, be based on EVM Project ）
• 2） be based on Circuit The system of ：
  • Embedded in existing languages ： Such as snarkyJS, arkworks.
  • Compile from new language ： Such as zinc,Aleo.

3. snarkyJS

A framework for compiling zero knowledge applications ：

• Typescript Language
• No trusted settings required , be based on Mina Of Kimchi SNARK over Pasta curves
• Easy to run in browser

snarkyJS And Mina In combination with , To form the Mina chain （ be based on ZK-SNARKs Of L1 chain ） Write on ZKApps The core framework of .

4. Composability

The combination is mainly reflected in ：

• Divide the system into different parts
• Functions and classes are implemented in classic programming languages
• With snarkyJS To implement functions 、 Class and Recursion/Proof composition.