Implement the Ajtai Commitment Scheme #6
Assignees
Comments
pycckuu
added a commit
that referenced
this issue
Feb 20, 2025
Add Ajtai commitment scheme implementation with lattice-based cryptography primitives. Includes matrix-vector operations in polynomial ring Rq and parameter validation for cryptographic security. - Implement AjtaiCommitment struct with commit/verify operations - Add parameter validation for β²m³ < q² security condition - Introduce bounded polynomial generation with ternary distribution - Create RqMatrix for efficient matrix-vector multiplication - Add error handling with thiserror crate - Include message encoding utilities for polynomial packing - Implement random small polynomial generation using thread-local RNG Test suite verifies: - Parameter validation rejects insecure configurations - Commitment binding through witness randomization - Correct verification of valid/invalid openings - Security boundary enforcement - 100-operation stress test stability Issue-URL: #6
pycckuu
added a commit
that referenced
this issue
Feb 20, 2025
Add Ajtai commitment scheme implementation with lattice-based cryptography primitives. Includes matrix-vector operations in polynomial ring Rq and parameter validation for cryptographic security. - Implement AjtaiCommitment struct with commit/verify operations - Add parameter validation for β²m³ < q² security condition - Introduce bounded polynomial generation with ternary distribution - Create RqMatrix for efficient matrix-vector multiplication - Add error handling with thiserror crate - Include message encoding utilities for polynomial packing - Implement random small polynomial generation using thread-local RNG Test suite verifies: - Parameter validation rejects insecure configurations - Commitment binding through witness randomization - Correct verification of valid/invalid openings - Security boundary enforcement - 100-operation stress test stability Issue-URL: #6
pycckuu
added a commit
that referenced
this issue
Feb 20, 2025
Add Ajtai commitment scheme implementation with lattice-based cryptography primitives. Includes matrix-vector operations in polynomial ring Rq and parameter validation for cryptographic security. - Implement AjtaiCommitment struct with commit/verify operations - Add parameter validation for β²m³ < q² security condition - Introduce bounded polynomial generation with ternary distribution - Create RqMatrix for efficient matrix-vector multiplication - Add error handling with thiserror crate - Include message encoding utilities for polynomial packing - Implement random small polynomial generation using thread-local RNG Test suite verifies: - Parameter validation rejects insecure configurations - Commitment binding through witness randomization - Correct verification of valid/invalid openings - Security boundary enforcement - 100-operation stress test stability Issue-URL: #6
pycckuu
added a commit
that referenced
this issue
Feb 20, 2025
Add Ajtai commitment scheme implementation with lattice-based cryptography primitives. Includes matrix-vector operations in polynomial ring Rq and parameter validation for cryptographic security. - Implement AjtaiCommitment struct with commit/verify operations - Add parameter validation for β²m³ < q² security condition - Introduce bounded polynomial generation with ternary distribution - Create RqMatrix for efficient matrix-vector multiplication - Add error handling with thiserror crate - Include message encoding utilities for polynomial packing - Implement random small polynomial generation using thread-local RNG Test suite verifies: - Parameter validation rejects insecure configurations - Commitment binding through witness randomization - Correct verification of valid/invalid openings - Security boundary enforcement - 100-operation stress test stability Issue-URL: #6
pycckuu
added a commit
that referenced
this issue
Feb 20, 2025
Add Ajtai commitment scheme implementation with lattice-based cryptography primitives. Includes matrix-vector operations in polynomial ring Rq and parameter validation for cryptographic security. - Implement AjtaiCommitment struct with commit/verify operations - Add parameter validation for β²m³ < q² security condition - Introduce bounded polynomial generation with ternary distribution - Create RqMatrix for efficient matrix-vector multiplication - Add error handling with thiserror crate - Include message encoding utilities for polynomial packing - Implement random small polynomial generation using thread-local RNG Test suite verifies: - Parameter validation rejects insecure configurations - Commitment binding through witness randomization - Correct verification of valid/invalid openings - Security boundary enforcement - 100-operation stress test stability Issue-URL: #6
pycckuu
added a commit
that referenced
this issue
Feb 20, 2025
Add Ajtai commitment scheme implementation with lattice-based cryptography primitives. Includes matrix-vector operations in polynomial ring Rq and parameter validation for cryptographic security. - Implement AjtaiCommitment struct with commit/verify operations - Add parameter validation for β²m³ < q² security condition - Introduce bounded polynomial generation with ternary distribution - Create RqMatrix for efficient matrix-vector multiplication - Add error handling with thiserror crate - Include message encoding utilities for polynomial packing - Implement random small polynomial generation using thread-local RNG Test suite verifies: - Parameter validation rejects insecure configurations - Commitment binding through witness randomization - Correct verification of valid/invalid openings - Security boundary enforcement - 100-operation stress test stability Issue-URL: #6
pycckuu
added a commit
that referenced
this issue
Feb 21, 2025
Add Ajtai commitment scheme implementation with lattice-based cryptography primitives. Includes matrix-vector operations in polynomial ring Rq and parameter validation for cryptographic security. - Implement AjtaiCommitment struct with commit/verify operations - Add parameter validation for β²m³ < q² security condition - Introduce bounded polynomial generation with ternary distribution - Create RqMatrix for efficient matrix-vector multiplication - Add error handling with thiserror crate - Include message encoding utilities for polynomial packing - Implement random small polynomial generation using thread-local RNG Test suite verifies: - Parameter validation rejects insecure configurations - Commitment binding through witness randomization - Correct verification of valid/invalid openings - Security boundary enforcement - 100-operation stress test stability Issue-URL: #6
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Develop the Ajtai commitment scheme using matrices and vector commitments.
Need to include:
I suspect that there is already an implementation for the commitment scheme, so this task is more of trying to find the best one.
Possible implementations:
Paper Reference: Section 5.2: Main Protocol, Committing
The text was updated successfully, but these errors were encountered: