Outline

SnarkyJS (elementary concepts)

• Overview of SnarkyJS / O1js

• Basic concepts

  • Fields

  • Handling accounts & Public private keys

  • Assertions

  • Smart Contract

  • @method decorator

  • State

  • @state

  • Posseidon function

Brief explanation of a zkApp architecture in the context of a hello world smart contract

• examples covered

  • Square

  • Square with private input

• explain the program flow

  • tie in how prover and verifier functions work here

  • tie in how the above basic o1js concepts fit into the application

Setting up the dev environment

• zkcli

  • installation

  • project setup

  • project structure explaination

Coding a hello world smart contract

• Writing the smart contracts

• Walkthrough of smart contracts

Deploying it on testnet

• wallet setup

• getting testnet tokens from the faucet

• deploy the contracts on testnet

Interacting with it

• run smart contracts to demonstrate each functionality