Former repository for the Linea Tracer, a component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM client
-
Updated
May 21, 2026 - Java
#
arithmetization
Here are 5 public repositories matching this topic...
Draft documents for standardization of Plonkish arithmetization
-
Updated
Mar 15, 2024
A depth-aware secure computation compiler
-
Updated
Jun 7, 2025 - Jupyter Notebook
A practically efficient hash-based succinct argument that bypasses the arithmetization overheads
-
Updated
Sep 20, 2025 - Rust
FROST-GKR: Frobenius Reduction Over Shifted Tables for batched Poseidon2b relations over binary tower fields.
rust cryptography reproducible-research fiat-shamir gkr verifiable-computation zero-knowledge-proofs polynomial-commitments sumcheck proof-systems arithmetization poseidon2 binary-fields multilinear-polynomials parano1d binary-tower-fields
-
Updated
Aug 11, 2026 - Rust
Add this topic to your repo
To associate your repository with the arithmetization topic, visit your repo's landing page and select "manage topics."