Try   HackMD

PLONKathon notes

The MacOS Commands that Aayush Ran

brew update && brew install pyenv
echo 'export PYENV_ROOT="$HOME/.pyenv"' >> ~/.zshrc
echo 'command -v pyenv >/dev/null || export PATH="$PYENV_ROOT/bin:$PATH"' >> ~/.zshrc
echo 'eval "$(pyenv init -)"' >> ~/.zshrc
source ~/.zshrc
pyenv install -v 3.9.1
curl -sSL https://install.python-poetry.org | python3 -
echo 'export PATH="$HOME/.local/bin:$PATH"' >> ~/.zshrc
source ~/.zshrc
git clone git@github.com:0xPARC/plonkathon.git
cd plonkathon
poetry --version or ~/.local/bin/poetry --version

  • Poetry (version 1.3.2)

poetry install
poetry run python test.py

  • You should see this error: 
    







    ​​​​Extracted G1 side, X^1 point: 
​​​​...
​​​​Traceback (most recent call last):
​​​​  File "/Users/aayushgupta/Documents/projects/plonkathon/test.py", line 264, in <module>
​​​​    setup_test()
​​​​  File "/Users/aayushgupta/Documents/projects/plonkathon/test.py", line 23, in setup_test
​​​​    assert commitment == G1Point(
​​​​AssertionError

Brian's MacOS Installation Notes

  • installing poetry didn't work with system python3 (MacOS), so i needed to first get pyenv (relevant Github issue explaining this )
  • followed instructions here to install pyenv with brew: https://github.com/pyenv/pyenv
    • brew update && brew install pyenv
    • echo 'export PYENV_ROOT="$HOME/.pyenv"' >> ~/.zshrc
    • echo 'command -v pyenv >/dev/null || export PATH="$PYENV_ROOT/bin:$PATH"' >> ~/.zshrc
    • echo 'eval "$(pyenv init -)"' >> ~/.zshrc
    • source ~/.zshrc
  • then used pyenv to install and set global the latest version of python3. checked that pyenv's python3 was the default with which python3 and python3 --version
    • pyenv install -v 3.9.1
  • then followed the instructions here to install poetry: https://python-poetry.org/docs/
    • curl -sSL https://install.python-poetry.org | python3 -
  • poetry is accessible from ~/.local/bin, so I had to add ~/.local/bin to $PATH (add a line to zshrc)
    • echo 'export PATH="~/.local/bin:$PATH"' >> ~/.zshrc
      • this didn't work for me, so I just use ~/.local/bin/poetry to call poetry instead
  • repo setup
    • git clone git@github.com:0xPARC/plonkathon.git
    • cd plonkathon
    • poetry --version or ~/.local/bin/poetry --version
      • Poetry (version 1.3.2)
    • poetry install
    • poetry run python test.py
      • You should see this error: 
        







        ​​​​​​​​​​​​Extracted G1 side, X^1 point: 
​​​​​​​​​​​​...
​​​​​​​​​​​​Traceback (most recent call last):
​​​​​​​​​​​​  File "/Users/aayushgupta/Documents/projects/plonkathon/test.py", line 264, in <module>
​​​​​​​​​​​​    setup_test()
​​​​​​​​​​​​  File "/Users/aayushgupta/Documents/projects/plonkathon/test.py", line 23, in setup_test
​​​​​​​​​​​​    assert commitment == G1Point(
​​​​​​​​​​​​AssertionError

Indexing into evaluation form

The paper 1-indexes in Lagrange form. We advise you to 0-index instead for sanity (so basically subtract 1 from the relevant indices from specs in the paper).

Miscellaneous notes

  • In Round 2, you can safely use
    k1=2     and
    k2=3    ; then
    H    ,
    k1∗H    ,
    k2∗H     will indeed be cosets.
  • The field order
    p     is such that
    p−1     has high 2-adicity, so FFTs up to large powers of 2 will work as expected.

Transcript

https://github.com/therealyingtong/plonkathon/blob/main/transcript.py

Last changed by 
 
gubsheep
0
348

Read more

ZK Frontiers: Week 3 Exercises

For this week&apos;s exercise, you will write a spec for one of the following proposed applications. If you are working on a project, you&apos;re automatically &quot;exempt,&quot; as you&apos;ll already be building one of these! In your spec, you should: Outline precisely the ZK circuit(s) you&apos;ll be using. You can use our template from class if you&apos;d like. Describe the business logic of the major components of the application: the server (what it stores, what it verifies, etc.) smart contracts (if applicable), clients (what they store, what they prove, etc.), and any additional services (for example, an auxiliary server that stores, verifies, and serves Merkle groups). WhaleChat

Jun 14, 2023
ZK Frontiers: Week 2 Exercises

ZK Passwords In this exercise, you will implement a ZK-based password verifier! Instructions can be found in the README of the scaffolding repo. You are aiming to produce something that looks like this video demo. You can start with the scaffolding repo, or you can roll your own from scratch. If you use the scaffold repo, make sure to check out circom-starter, the base repo which this is based on! Extension: make proving happen in-browser. We’ll go over this during next week’s Monday optional session. You may also find this circom and snarkjs diagram useful.

Jun 6, 2023
ZK Frontiers: Week 1 Exercises

This week&apos;s exercises are hands-on coding exercises. Try writing the following circuits on your own. If you get stuck, you can check the solutions. We&apos;ll go over these circuits in the second Optional Session in Week 2. If you need to look up circom language features or syntax, take a look at the circom docs. I recommend trying to build these circuits in zkREPL, for fast iteration. I recommend doing these exercises in order, as later circuits may build on previous ones. References Field Size All signals in circom are treated as numbers modulo this big prime:

Jun 1, 2023
Zupass Resources for Developers

Zupass Official Repo: https://github.com/proofcarryingdata/zupass The README provides a starting point for devs. Usage Examples for Devs: https://consumer-client.onrender.com This page contains examples for devs on how to integrate Zupass into various application flows, such as authentication, proof generation/consumption. Code for these examples is in the official Zupass repo. Example Application: Zuzalu Confessions: https://confessions-client.onrender.com/ This is a fully-functional anonymous message board built on Zupass, demonstrating authentication and identity-hiding proofs. For development/demonstration/reference purposes only! Zuzalu Confessions Reference Code: https://github.com/proofcarryingdata/zuzalu-confessions

Apr 11, 2023
Read more from gubsheep
Published on HackMD