https://github.com/dannywillems/zkacademy

A place to learn ZK with Jupyter
https://github.com/dannywillems/zkacademy

academy education elliptic-curves finite-fields kzg plonk starks zk zk-snarks

Last synced: 4 months ago
JSON representation

A place to learn ZK with Jupyter

• Host: GitHub
• URL: https://github.com/dannywillems/zkacademy
• Owner: dannywillems
• License: cc0-1.0
• Created: 2023-11-23T08:39:08.000Z (8 months ago)
• Default Branch: main
• Last Pushed: 2024-01-25T09:45:02.000Z (5 months ago)
• Last Synced: 2024-01-25T11:17:11.404Z (5 months ago)
• Topics: academy, education, elliptic-curves, finite-fields, kzg, plonk, starks, zk, zk-snarks
• Language: Jupyter Notebook
• Homepage:
• Size: 281 KB
• Stars: 7
• Watchers: 4
• Forks: 1
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-ccamel - dannywillems/zkacademy - A place to learn ZK with Jupyter (Jupyter Notebook)

README

        
## zkacademy

Jupyter notebook implementation different zero-knowledge proof-systems and

techniques in Python.

The goal of this project is to have an interactive environment where people

interested in zero-knowledge proof technologies can learn interactively.

The whole notebook would be made using custom implementations, from finite

fields to proof systems and recursion techniques. It would also cover

cryptographic primitives like AO hash functions, standard hash functions,

lookup techniques, folding schemes, etc.

The notebook would be using [py-keum](https://github.com/dannywillems/py-keum/).

NB: I might not have time to continue this project. If you think it has a huge

community value, please let me know, ping me and motivate me to continue. It

would be a pleasure to work on it.

## To start

```

poetry install

poetry run jupyter lab

```