Feat zk integration#662

Open

Shitikyan wants to merge 178 commits intotestnetfrom

feat-zk-integration

Commits on Jun 4, 2025

Plan of action
tcsenpai
committed

Commits on Jun 5, 2025

added database structure for offline messages
tcsenpai
committed
just an addition to the ignore
tcsenpai
committed

Commits on Jun 8, 2025

Updated action plan for better l2ps imp
tcsenpai
committed

Commits on Jun 12, 2025

started new l2ps structure
tcsenpai
committed

Commits on Jun 14, 2025

dubious integration of ucrypto transaction type into this branch
tcsenpai
committed
l2ps implementation status tracking
tcsenpai
committed
version bumps
tcsenpai
committed
refactoring of parallelNetworks l2ps wrapper using the new l2ps logic from sdk
tcsenpai
committed
dependant files update following the upgrade to the new l2ps
tcsenpai
committed
ignoring sensitive files
tcsenpai
committed
documented the class
tcsenpai
committed
Merge branch 'testnet' into imp_persistent
tcsenpai
committed
better approach to transaction class
tcsenpai
committed
claude.md ignored
tcsenpai
committed
using the generic transaction validation
tcsenpai
committed
Merge branch 'testnet' into imp_persistent
tcsenpai
committed

Commits on Jun 25, 2025

Merge branch 'testnet' into l2ps_simplified
tcsenpai
committed
fixed import with the new tx type
tcsenpai
committed
Merge branch 'dtr' into l2ps_simplified
tcsenpai
committed
Improved l2ps loading when handling a L2PSTransaction
tcsenpai
committed

Commits on Jun 26, 2025

simplified action plan for l2ps based on DTR
tcsenpai
committed
created l2ps mempool object and entity
tcsenpai
committed

Commits on Jun 28, 2025

corrected some implementation details
tcsenpai
committed

Commits on Jul 2, 2025

Merge branch 'testnet' into l2ps_simplified
tcsenpai
committed

Commits on Jul 8, 2025

added L2PS Hash service to periodically create hashes of l2ps tables
tcsenpai
committed
added new tx type for distributing the L2PS hashes to the DTR
tcsenpai
committed
updated plan
tcsenpai
committed
ignored files
tcsenpai
committed

Commits on Jul 10, 2025

Commits on Nov 6, 2025

Implement Phase 3b: Validator Hash Storage for L2PS
tcsenpai
committed
Implement Phase 3c-1: Complete L2PS NodeCall Endpoints
tcsenpai
committed
Implement Phase 3c-2: Create L2PS Concurrent Sync Service
tcsenpai
committed
Implement Phase 3c-3: Integrate L2PS Sync with Blockchain Sync
tcsenpai
committed
docs: Complete L2PS implementation documentation and testing guide
tcsenpai
committed
added memories
tcsenpai
committed
configured serena
tcsenpai
committed
ignores
tcsenpai
committed
lints
tcsenpai
committed
added onboarding for l2ps
tcsenpai
committed
saved session for l2ps
tcsenpai
committed
Fix L2PS return type and pre-existing issues

tcsenpai
and
claude
committed
Fix DTR validator shuffle algorithm (fix dtr behavior)

tcsenpai
and
claude
committed
ignores
tcsenpai
committed

Commits on Nov 7, 2025

committed pr fixes
tcsenpai
committed
Fix 9 critical and high-priority issues from PR review

tcsenpai
and
claude
committed
Fix 16 critical and high-priority issues from CodeRabbit PR review

tcsenpai
and
claude
committed
fixed some files due to reviews
tcsenpai
committed

Commits on Nov 8, 2025

Commits on Nov 9, 2025

added memories
tcsenpai
committed
Phase 3: Implement basic ZK-SNARK identity circuit

tcsenpai
and
claude
committed
Phase 4: Implement Merkle tree management for commitments

tcsenpai
and
claude
committed
Phase 5: Implement enhanced circuit with Merkle proof verification

tcsenpai
and
claude
committed
Phase 6: ZK Proof Verification (Node-Side)

tcsenpai
and
claude
committed
Phase 7: Transaction Types & GCR Integration

tcsenpai
and
claude
committed
Phase 8: RPC Endpoints

tcsenpai
and
claude
committed
Phase 10.1: Configurable ZK attestation points

tcsenpai
and
claude
committed

Commits on Nov 10, 2025

fix: Add Bun-compatible ZK proof verification (single-threaded mode)

tcsenpai
and
claude
committed
Merge branch 'testnet' into l2ps_simplified
tcsenpai
authored
refactor: Move ZK test files to src/tests directory

tcsenpai
and
claude
committed
fix: Apply 8 autofixes from CodeRabbit ZK review

tcsenpai
and
claude
committed
fix(zk): CRITICAL - Add secret to nullifier computation for privacy
tcsenpai
committed
feat(zk): Update verification key for privacy-fixed circuit
tcsenpai
committed
docs: Mark Issue #1 (Circuit Privacy) as completed in PR_TOFIX.md
tcsenpai
committed
fix(zk): Wrap Merkle rollback in transaction to prevent corruption
tcsenpai
committed
docs: Mark Issue #3 (Merkle Rollback) as completed in PR_TOFIX.md
tcsenpai
committed
fix(zk): Remove TOCTOU race in commitment insertion
tcsenpai
committed
docs: Mark Issue #5 (Duplicate Commitment) as completed in PR_TOFIX.md
tcsenpai
committed
fix(zk): Add constraint violation handling for double-attestation prevention
tcsenpai
committed
docs: Mark Issue #2 (Nullifier TOCTOU) as completed in PR_TOFIX.md
tcsenpai
committed
Fix Issue #4: Atomic block commit + Merkle tree update
tcsenpai
committed
Update PR_TOFIX: Mark Issue #4 as completed
tcsenpai
committed
Fix Issue #6: Add comprehensive ZK proof verification tests
tcsenpai
committed
Cleanup: Remove PR_TOFIX.md and ignore circom .sym files
tcsenpai
committed
Code quality improvements from review (LOW/MEDIUM issues)

tcsenpai
and
claude
committed
Fix CRITICAL and HIGH priority review issues

tcsenpai
and
claude
committed
Fix CRITICAL race conditions and transaction boundaries

tcsenpai
and
claude
committed
fix(zk): Security hardening and bug fixes from CodeRabbit review

tcsenpai
and
claude
committed

Commits on Nov 11, 2025

fix(zk): Security and quality improvements from CodeRabbit review

tcsenpai
and
claude
committed
fix: second round of CodeRabbit review fixes (9 issues)

tcsenpai
and
claude
committed
fix(zk): Fix 13 priority issues from third CodeRabbit review

tcsenpai
and
claude
committed
Fix 6 priority issues from CodeRabbit Round 4 review

tcsenpai
and
claude
committed
Fix Round 5 CodeRabbit issues: 6 HIGH/MEDIUM priority fixes

tcsenpai
and
claude
committed
Fix CRITICAL #1: Replace optimistic locking with pessimistic locking

tcsenpai
and
claude
committed
ignored files
tcsenpai
committed
Fix CRITICAL regression: Clear initializationPromise on error to enable backoff recovery

tcsenpai
and
claude
committed
Fix Round 6 Issues #1, #3, #6a: Type consistency, IC validation, circuit path

tcsenpai
and
claude
committed
Add production ZK key regeneration guide and automation script

tcsenpai
and
claude
committed
SECURITY: Fix Issue #4 - Add contribution phase for production-safe ZK keys

tcsenpai
and
claude
committed
chore: Update test to check for contributed proving key (_0001.zkey)

tcsenpai
and
claude
committed
fix: Revert incorrect circomlib path and regenerate basic circuit key

tcsenpai
and
claude
committed
better organization for the repo
tcsenpai
committed

Commits on Nov 12, 2025

fix: ZK-SNARK autofixes from CodeRabbit review (10 issues)

tcsenpai
and
claude
committed
security fixes
tcsenpai
committed
bumped deps
tcsenpai
committed

Commits on Nov 19, 2025

memories
tcsenpai
committed

Commits on Nov 25, 2025

updated ceremony script
tcsenpai
committed
added support for pubkey format
tcsenpai
committed

Commits on Nov 26, 2025

feat: Implemented L2 Batch aggregator to submit L2 Txs to Main
Shitikyan
committed

Commits on Nov 29, 2025

feat: added nonce in L2
Shitikyan
committed

Commits on Dec 3, 2025

Commits on Dec 4, 2025

Commits on Dec 5, 2025

Commits on Dec 6, 2025

init beads for the project
tcsenpai
committed
chore(beads): commit untracked JSONL files
tcsenpai
committed
updated beads and memories
tcsenpai
committed
updated with beads
tcsenpai
committed
ignored
tcsenpai
committed
ignores
tcsenpai
committed
cleaned up beads
tcsenpai
committed

Commits on Dec 11, 2025

feat: Implement L2PS Batch Prover for PLONK proofs
Shitikyan
committed

Commits on Dec 12, 2025

Commits on Jan 5, 2026

Commits on Jan 8, 2026

feat: refactor L2PS components for improved privacy and performance
Shitikyan
committed

Commits on Jan 9, 2026

Commits on Jan 12, 2026

Commits on Jan 13, 2026

Commits on Jan 14, 2026

Commits on Jan 19, 2026

feat: Implement L2PS account transaction history endpoint with signature authentication and add node identity certificates.
Shitikyan
committed

Commits on Jan 20, 2026

feat: Implement L2PS concurrent mempool synchronization with participant discovery and delta sync, and enable DTR Manager.
Shitikyan
committed

Commits on Jan 21, 2026

feat: Add L2PS architecture documentation, node certificates, and mnemonic, and update L2PS transaction execution and network management.
Shitikyan
committed

Commits on Jan 22, 2026

fix: l2ps transactions status update
Shitikyan
committed

Commits on Jan 29, 2026

Commits on Jan 31, 2026

Merge pull request #514 from Shitikyan/l2ps_implementation
tcsenpai
authored

Commits on Feb 2, 2026

Commits on Feb 3, 2026

fix: add L2PS circuit underflow protection and refactor graceful shutdown and mempool transaction saving.
Shitikyan
committed

Commits on Feb 9, 2026