Add plonky3#51

Draft

mdvillagra wants to merge 46 commits into

mainfrom

marcos/add-plonky3

Commits on Nov 24, 2025

Add Cargo.toml files for workspace and plonky3 library; update .gitignore
mdvillagra
committed
Fix path to plonky3 library in Cargo.toml
mdvillagra
committed
Update .gitignore to include additional Cargo.lock and coverage files
mdvillagra
committed
Refactor imports and improve code readability in plonky3 library. Adjust matrix multiplication logic and update comments for clarity.
mdvillagra
committed
Update comments in MatrixMultiplicationAIR to clarify column indexing for matrix A and B elements.
mdvillagra
committed
Refactor matrix multiplication logic in plonky3 library to differentiate handling of the first index in the inner product, enhancing clarity in the implementation and comments.
mdvillagra
committed
Correct typo in comment regarding column indexing in matrix multiplication logic within plonky3 library for improved clarity.
mdvillagra
committed
Add new fields to MatrixMultiplicationAIR struct for compression and Merkle tree commitments, enhancing functionality and configuration options.
mdvillagra
committed
Refactor dependencies in Cargo.toml to use Git sources for plonky3 libraries and update MatrixMultiplicationAIR struct to improve matrix multiplication logic and enhance code clarity.
mdvillagra
committed
Enhance matrix multiplication logic in MatrixMultiplicationAIR by adding row padding to meet PCS requirements and improving transition assertions for clarity. Update test cases to utilize Mersenne3…
mdvillagra
committed
Refactor matrix multiplication assertions in plonky3 library to improve clarity and maintainability. Commented out legacy code for better readability and understanding of the multiplication logic.
mdvillagra
committed
Add vector-matrix multiplication function and corresponding test in plonky3 library for enhanced matrix operations.
mdvillagra
committed
Add vector-matrix multiplication function with detailed documentation in plonky3 library to enhance matrix operations.
mdvillagra
committed
Refactor MatrixMultiplicationAIR to VectorMatrixMultiplicationAIR, updating methods and logic for vector-matrix multiplication. Enhance trace generation and assertions for improved clarity and func…
mdvillagra
committed
Implement eval method in VectorMatrixMultiplicationAIR for enforcing starting state during evaluation. Add a new test for proving vector-matrix multiplication functionality, including trace generat…
mdvillagra
committed
Enhance starting state assertions in VectorMatrixMultiplicationAIR by enforcing conditions for vector and matrix selectors in the first row. Ensure the first element is 1 and the rest are 0 for bot…
mdvillagra
committed
Enhance trace generation in VectorMatrixMultiplicationAIR by adding a new column for row activation and implementing padding for non-power-of-two trace lengths. Update tests to reflect changes in v…
mdvillagra
committed
Refine starting state assertions in VectorMatrixMultiplicationAIR by adjusting the trace width calculations and enabling row activation in the first row. Update test vector formatting for improved …
mdvillagra
committed
Enhance final state assertions in VectorMatrixMultiplicationAIR by enforcing conditions for the last enabled row and ensuring all subsequent rows are zero. This improves the correctness of the tran…
mdvillagra
committed
Enforce booleanity conditions in VectorMatrixMultiplicationAIR by adding assertions for vector and matrix selectors, as well as the enabled column during transitions. This enhances the correctness …
mdvillagra
committed
Enhance VectorMatrixMultiplicationAIR by adding assertions to enforce the sum of vector and matrix selectors as 1 during transitions, and ensure that vector and matrix states remain unchanged betwe…
mdvillagra
committed
Refine VectorMatrixMultiplicationAIR logic by adjusting the running sum condition to allow accumulation from previous rows based on vector selector values. Add assertions to enforce correct vector-…
mdvillagra
committed
Update Cargo.toml to include bincode dependency and modify lib.rs to add proof size reporting functionality. Integrate proof verification in the test_proving function, enhancing the testing of proo…
mdvillagra
committed
Fix typo in comment and reorder imports in lib.rs for clarity and consistency.
mdvillagra
committed
Refactor matrix multiplication logic by removing the matrix_multiply function and updating comments to reflect the focus on vector-matrix multiplication. Adjust trace generation documentation to cl…
mdvillagra
committed
Add vector-matrix multiplication proof functionality with transformation and verification tests
mdvillagra
committed
Add vector-matrix multiplication proof verification functionality and update tests to utilize the new verification method.
mdvillagra
committed
Add zero-knowledge proof generation for vector-matrix multiplication with detailed documentation on arguments, return values, and error handling. This enhances the cryptographic functionality and p…
mdvillagra
committed
Add Python bindings for vector-matrix multiplication proof functions in Plonky3. Introduce `plonky3_py` module with `vector_matrix_multiplication_prove` and `vector_matrix_multiplication_verify` fu…
mdvillagra
committed
Enhance proof generation by introducing a `zk_backend` parameter to support multiple backends (ezkl and plonky3). Update the `generate_proofs` function to conditionally handle proof generation logi…
mdvillagra
committed
Add ONNX export functionality for LoRA submodules and implement activation capturing. Introduce `export_lora_submodules` function to facilitate the export of LoRA parameters and their activations t…
mdvillagra
committed
Add asynchronous support for proof generation in Plonky3. Introduce `main` function to handle model loading and proof generation using LoRA submodules. Patch `ezkl.gen_witness` to be awaitable, enh…
mdvillagra
committed
Add README documentation for ZKLoRA project, including usage instructions and cryptographic features
mdvillagra
committed
Add fixed point encoding and decoding functions for 16-bit floats in Plonky3
mdvillagra
committed
Fix variable name in vector-matrix multiplication assertion for clarity
mdvillagra
committed
Remove unused variables and print statements related to fixed point encoding and decoding in proof generation
mdvillagra
committed
Add fixed point encoding and decoding functions to `fp_coding.py` and update `__init__.py` for module exports
mdvillagra
committed
Refactor fixed point encoding and decoding functions in `fp_coding.py` to support signed two's complement representation. Enhance parameter documentation and add a self-test for encoding/decoding a…
mdvillagra
committed
Refactor fixed point encoding usage in proof generation for Plonky3. Update vector-matrix multiplication to use encoded values and enhance `generate_proofs` to accept a `zk_backend` parameter for i…
mdvillagra
committed
Enhance proof generation by integrating fixed point encoding in vector-matrix multiplication. Add timing for proof generation and improve handling of input data reshaping.
mdvillagra
committed
Fix matrix element ordering in trace data push for vector-matrix multiplication. Update loop indices to ensure correct column-major order and add debug print statement for matrix output.
mdvillagra
committed
Fix matrix dimensions in vector-matrix multiplication tests and implementation. Update matrix initialization to use the correct number of columns, ensuring accurate proof generation and verification.
mdvillagra
committed
Add debug print statements to `generate_proofs` for matrix dimensions and encoding. Limit proof generation to one iteration for testing purposes.
mdvillagra
committed
Update requirements: consolidate dependencies into `requirements.txt` and remove `src/requirements.txt`
mdvillagra
committed
Add detailed documentation for vector-matrix multiplication proof strategy in `strategy.md`. Outline root causes of memory issues, proposed fixes, and long-term improvements for proof compression a…
mdvillagra
committed
Refactor vector-matrix multiplication implementation by extracting the `VectorMatrixMultiplicationAIR` struct into a new module. Simplify imports and remove unused code, enhancing clarity and maint…
mdvillagra
committed