Beautiful console log (using logdown) with placeholders
A lightweight log emitter used by library packages to emit log entries to an optional logup-hub in the host application.
Plonky3-derived ZK STARK components for Node.js
 ## 继承自express的简单服务器，不需要为路由而烦恼 ### [测试项目](https://github.com/332065255/easy_test)
Logup is a UNIX-style command that can be used to pipe stdout logs to location on disk or in the cloud without the need of an agent, logrotate, systemd or other configuration files
GPU-accelerated LogUp-GKR protocol for SP1
CPU constraint system (AIR) for the Maat programming language
AIR program and chiplet definition API for the Hekate ZK proving system: constraint DSL, typed column schema, virtual expansion, LogUp bus wiring.
Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching.
LogUp: Logarithmic lookup arguments and multiset equality checks with multiplicities support.
Parser for the AirScript language
A general-purpose Polynomial Interactive Oracle Proof (PIOP) framework built on arkworks.
AES-128 / AES-256 AIR chiplet for the Hekate ZK proving system.
The Maat programming language -- Rust-native syntax for writing zero-knowledge proofs
Zero knowledge STARK prover and verifier for the Maat programming language
Miden-specific AIR traits and utilities for Plonky3.