zkGraph proving backend
Project description
Dohko
zkGraph's experimental ZKP backend
Introduction
This codebase serves as base point for the zkGraph's distributed and low memory footprint zero knowledge proofs using the Libra protocol. On this repo the following ideas are implemented:
- Linear time Sumcheck and GKR protocols and it's zk extensions
- Multilinear KZG and KZG10 protocols
- Plookup lookup arguments protocol
Note
The plookup implementation comes from https://github.com/NOOMA-42/pylookup
Install pybind11 and compile virgo bindings
- export CPLUS_INCLUDE_PATH=/usr/local/Cellar//python@3.12/3.12.4/Frameworks/Python.framework/Versions/3.12/include/python3.12/
- cmake .. -DPython=1 -DPYTHON_EXECUTABLE=/Users/lorenzotomaz/Library/Caches/pypoetry/virtualenvs/dohko-Rkwus1zB-py3.11/bin/python -DPYTHON_INCLUDE_DIRS=/Users/lorenzotomaz/Library/Caches/pypoetry/virtualenvs/dohko-Rkwus1zB-py3.11/lib/python3.11/
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
dohko-0.1.0.tar.gz
(83.4 kB
view hashes)
Built Distribution
dohko-0.1.0-py3-none-any.whl
(104.3 kB
view hashes)
