https://github.com/fbielejec/zksnarks-notes
notes & explorations of various zero knowledge protocols
https://github.com/fbielejec/zksnarks-notes
cryptography elliptic-curves pairings snarks zero-knowledge
Last synced: 5 months ago
JSON representation
notes & explorations of various zero knowledge protocols
- Host: GitHub
- URL: https://github.com/fbielejec/zksnarks-notes
- Owner: fbielejec
- Created: 2025-03-10T07:20:45.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-10-13T09:56:46.000Z (8 months ago)
- Last Synced: 2025-10-13T12:18:50.998Z (8 months ago)
- Topics: cryptography, elliptic-curves, pairings, snarks, zero-knowledge
- Homepage:
- Size: 564 KB
- Stars: 1
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.org
Awesome Lists containing this project
README
+TITLE: SNARKs by hand
#+AUTHOR: Filip Bielejec
#+LANGUAGE: en
#+latex_class_options: [12pt]
#+INCLUDE: arithmetic.org
#+INCLUDE: algebra.org
#+INCLUDE: elliptic_curves.org
#+INCLUDE: pairings.org
#+INCLUDE: playground.org
* Table of Contents
| file | Description |
|-------------------------+-----------------------------------------------------------|
| [[file:arithmetics.org][Arithmetics]] | Preliminary definitions |
| [[file:algebra.org][Algebra ]] | Finite fields, prime fields, field extensions |
| [[file:combinatorics.ors][Combinatorics]] | Combinatorics and probability theory |
| [[file:elliptic_curves.org][Elliptic curves]] | Everything EC up to EC pairings |
| [[file:pairings.org][Elliptic Curve Pairings]] | Everything you need to compute the Weil and Tate pairings |
| [[file:hashing.org][Hashing]] | From Hashing to groups to hashing to elliptic curves |
| [[file:polynomial_commitments.org][Polynomial Commitments]] | Hashing, Merkle trees, KZG, ... |
| [[file:zero_knowledge_protocols.org][ZK Protocols]] | Statements, circuit languages |
| [[file:playground.org][Playground]] | Sage playground |