From fae24dfc3c7e6601510268cb2414236c7d1e307b Mon Sep 17 00:00:00 2001 From: Hideaki Takahashi Date: Wed, 13 Nov 2024 14:45:46 -0500 Subject: [PATCH] Dev (#4) * update * update * update * update * update * Update * update * update * update * update * update * update * Update * update * Update * update * Update * update * update * update * update * Update * update * update * Update * update * Update * update * wip * update * support 'one' and 'zero' * update * update * update * update * update * update * update * update * Update * Update * update * Update * Update * update * update * update * update * update * update * update * update * update * update * update * update * update * udpate * update * update * update * update * update * udpate * update * update --- README.md | 7 + docs/book/book.toml | 1 + docs/book/book/404.html | 3 +- docs/book/book/index.html | 12 +- docs/book/book/number_theory/index.html | 9 +- docs/book/book/number_theory/subsec1.html | 25 +- docs/book/book/number_theory/subsec2.html | 455 ++++++ docs/book/book/number_theory/subsec3.html | 443 ++++++ docs/book/book/number_theory/subsec4.html | 291 ++++ docs/book/book/number_theory/subsec5.html | 711 ++++++++++ docs/book/book/number_theory/subsec6.html | 283 ++++ docs/book/book/print.html | 1251 ++++++++++++++++- docs/book/book/searchindex.js | 2 +- docs/book/book/searchindex.json | 2 +- docs/book/book/theme/css/custom.css | 29 + docs/book/book/zksnark/index.html | 14 +- docs/book/book/zksnark/subsec2.html | 412 ++++++ docs/book/book/zksnark/subsec3.html | 354 +++++ docs/book/book/zkstark/index.html | 7 +- docs/book/book/zkvm/index.html | 3 +- docs/book/src/README.md | 0 docs/book/src/SUMMARY.md | 8 + docs/book/src/number_theory/subsec1.md | 24 +- docs/book/src/number_theory/subsec2.md | 374 +++++ docs/book/src/number_theory/subsec3.md | 234 +++ docs/book/src/number_theory/subsec4.md | 76 + docs/book/src/number_theory/subsec5.md | 625 ++++++++ docs/book/src/number_theory/subsec6.md | 53 + docs/book/src/zksnark/README.md | 1 + docs/book/src/zksnark/subsec1.md | 0 docs/book/src/zksnark/subsec2.md | 212 +++ docs/book/src/zksnark/subsec3.md | 140 ++ docs/book/theme/css/custom.css | 29 + myzkp/Cargo.toml | 2 + myzkp/src/modules/bn128.rs | 399 ++++++ myzkp/src/modules/curve.rs | 402 ++++-- myzkp/src/modules/educational_protocols/dl.rs | 7 +- .../src/modules/educational_protocols/kea.rs | 7 +- .../src/modules/educational_protocols/mod.rs | 2 + .../modules/educational_protocols/naive.rs | 10 +- .../src/modules/educational_protocols/nizk.rs | 231 +++ myzkp/src/modules/educational_protocols/sz.rs | 2 + myzkp/src/modules/educational_protocols/zk.rs | 114 +- myzkp/src/modules/efield.rs | 399 ++++++ myzkp/src/modules/field.rs | 177 ++- myzkp/src/modules/mod.rs | 3 + myzkp/src/modules/polynomial.rs | 355 ++--- myzkp/src/modules/ring.rs | 19 +- myzkp/src/modules/snark.rs | 92 -- myzkp/src/modules/utils.rs | 29 + 50 files changed, 7798 insertions(+), 542 deletions(-) create mode 100644 docs/book/book/number_theory/subsec2.html create mode 100644 docs/book/book/number_theory/subsec3.html create mode 100644 docs/book/book/number_theory/subsec4.html create mode 100644 docs/book/book/number_theory/subsec5.html create mode 100644 docs/book/book/number_theory/subsec6.html create mode 100644 docs/book/book/theme/css/custom.css create mode 100644 docs/book/book/zksnark/subsec2.html create mode 100644 docs/book/book/zksnark/subsec3.html create mode 100644 docs/book/src/README.md create mode 100644 docs/book/src/number_theory/subsec2.md create mode 100644 docs/book/src/number_theory/subsec3.md create mode 100644 docs/book/src/number_theory/subsec4.md create mode 100644 docs/book/src/number_theory/subsec5.md create mode 100644 docs/book/src/number_theory/subsec6.md create mode 100644 docs/book/src/zksnark/subsec1.md create mode 100644 docs/book/src/zksnark/subsec2.md create mode 100644 docs/book/src/zksnark/subsec3.md create mode 100644 docs/book/theme/css/custom.css create mode 100644 myzkp/src/modules/bn128.rs create mode 100644 myzkp/src/modules/educational_protocols/nizk.rs create mode 100644 myzkp/src/modules/efield.rs create mode 100644 myzkp/src/modules/utils.rs diff --git a/README.md b/README.md index acbf8ab..60b650a 100644 --- a/README.md +++ b/README.md @@ -1 +1,8 @@ # MyZKP: Introduction to Zero Knowledge Protocol + +## Book + +```bash +cd docs/book +mdbook serve --open --port 3001 +``` \ No newline at end of file diff --git a/docs/book/book.toml b/docs/book/book.toml index 822fc92..bc276bd 100644 --- a/docs/book/book.toml +++ b/docs/book/book.toml @@ -7,3 +7,4 @@ title = "MyZKP: Building Zero Knowledge Proof from Scratch" [output.html] mathjax-support = true +additional-css = ["theme/css/custom.css"] diff --git a/docs/book/book/404.html b/docs/book/book/404.html index 308657f..51e868d 100644 --- a/docs/book/book/404.html +++ b/docs/book/book/404.html @@ -30,6 +30,7 @@ + @@ -91,7 +92,7 @@