Longfellow ZK

Visión General

La biblioteca Longfellow permite la construcción de protocolos de conocimiento cero relacionados con estándares heredados de verificación de identidad, como el estándar ISO MDOC, el estándar JWT y las Credenciales Verificables del W3. Esta implementación está descrita en:

• Credenciales anónimas a partir de ECDSA
• libzk: Una biblioteca de C++ para pruebas de conocimiento cero
• Documentación del proyecto

Debe su nombre al puente situado frente a la oficina de Google en Cambridge.

Revisiones de Seguridad

Este proyecto está siendo sometido actualmente a dos revisiones de seguridad independientes por parte de paneles de expertos académicos y de la industria en el campo. Sus informes están disponibles en la página Documentación del proyecto/Revisiones.

Especificaciones

Este repositorio contiene los archivos de trabajo para una especificación de Longfellow y sus componentes. Si está interesado en contribuir, cree un Issue o una Pull Request. Nuestras discusiones tienen lugar en los Issues.

Pruebas mediante devcontainer

Puede probar rápidamente nuestra biblioteca usando el devcontainer asociado para crear su entorno. Simplemente haga clic en Code-->Codespaces-->Create codespace on master arriba para comenzar. Esto crea un contenedor Docker en un servidor de Github que incluye todas las dependencias y proporciona una interfaz VScode basada en web a nuestro código base actual. Puede compilar y ejecutar nuestros benchmarks en este entorno, pero algunos pueden ser más lentos que nuestros valores reportados debido a la VM.

Instrucciones para compilar

Requisitos

Este paquete depende de cmake, openssl, zstd, clang, googletest y googlebenchmark.

Ubuntu, Debian

$ sudo apt install -y build-essential clang cmake libssl-dev libzstd-dev libgtest-dev libbenchmark-dev zlib1g-dev

Fedora, Red Hat

$ yum install -y clang libzstd-devel openssl-devel git cmake google-benchmark-devel gtest-devel

Las versiones más recientes de Fedora parecen requerir libpfm-devel:

$ yum install -y clang libzstd-devel openssl-devel git cmake google-benchmark-devel gtest-devel libpfm-devel

macOS

Asegúrese de que las herramientas de línea de comandos de Xcode, como clang y cmake, estén instaladas.

$ brew install googletest google-benchmark zstd

Compilación manual

Primero ejecute el paso de inicialización de cmake:

$ CXX=clang++ cmake -D CMAKE_BUILD_TYPE=Release -S lib -B clang-build-release --install-prefix ${PWD}/install

A continuación:

$ cd clang-build-release && make -j 16 && ctest -j 16

Ejecución de benchmarks

Hemos definido varios benchmarks de unitarias, sumcheck y zk. Aquí algunos de ellos:

$ ./algebra/fft_test --benchmark_filter='BM_*'
$ ./circuits/sha/flatsha256_circuit_test --benchmark_filter=BM_ShaZK_fp2_128