Skip to content

openmina/proof-systems

19 Branches0 Tags
This branch is 1 commit ahead of, 1536 commits behind o1-labs/proof-systems:gh-pages.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

sebastiencssebastiencs
deploy: 1c64bc0
Feb 12, 2025
f9f9b3c · Feb 12, 2025

History

1 Commit
FontAwesome
FontAwesome
Feb 12, 2025
assets/css
assets/css
Feb 12, 2025
css
css
Feb 12, 2025
fonts
fonts
Feb 12, 2025
fundamentals
fundamentals
Feb 12, 2025
img
img
Feb 12, 2025
kimchi
kimchi
Feb 12, 2025
pickles
pickles
Feb 12, 2025
plonk
plonk
Feb 12, 2025
rustdoc
rustdoc
Feb 12, 2025
specs
specs
Feb 12, 2025
.nojekyll
.nojekyll
Feb 12, 2025
404.html
404.html
Feb 12, 2025
ayu-highlight.css
ayu-highlight.css
Feb 12, 2025
book.js
book.js
Feb 12, 2025
clipboard.min.js
clipboard.min.js
Feb 12, 2025
elasticlunr.min.js
elasticlunr.min.js
Feb 12, 2025
favicon.png
favicon.png
Feb 12, 2025
favicon.svg
favicon.svg
Feb 12, 2025
highlight.css
highlight.css
Feb 12, 2025
highlight.js
highlight.js
Feb 12, 2025
index.html
index.html
Feb 12, 2025
introduction.html
introduction.html
Feb 12, 2025
lib.rs
lib.rs
Feb 12, 2025
mark.min.js
mark.min.js
Feb 12, 2025
mdbook-admonish.css
mdbook-admonish.css
Feb 12, 2025
mermaid-init.js
mermaid-init.js
Feb 12, 2025
mermaid.min.js
mermaid.min.js
Feb 12, 2025
print.html
print.html
Feb 12, 2025
searcher.js
searcher.js
Feb 12, 2025
searchindex.js
searchindex.js
Feb 12, 2025
searchindex.json
searchindex.json
Feb 12, 2025
tomorrow-night.css
tomorrow-night.css
Feb 12, 2025

About

The proof systems used by Mina

o1-labs.github.io/proof-systems/

License

Apache-2.0 license
Activity
Custom properties

Stars

1 star

Watchers

1 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Languages

  • Rust 97.8%
  • CSS 0.7%
  • Shell 0.4%
  • Makefile 0.3%
  • Assembly 0.3%
  • Sage 0.3%
  • Other 0.2%