3/ On-Chain Verification and Testing:Deployed and tested the Solidity contract across local and testnet environments. Focused on debugging, fine-tuning performance, and ensuring the end-to-end flow—from proof generation to on-chain verification—works reliably under realistic conditions.Stay tuned for more updates every Thursday. ...

2/ Unified Interface for Different Workloads:Consolidated the prover’s interface to support both straightforward circuits (such as hashing) and more sophisticated computation graphs (such as machine learning models). This flexibility ensures the system can scale from simple cryptographic tasks to complex computational workloads. ...

🔧 The development sprint for the week of 09.01 delivered several notable upgrades. Let’s dive in. https://t.co/4yMOoRQkNx ...

Partnerships & Recognition - Aethir Ecosystem spotlighted Polyhedra Network's co-founder, Tiancheng Xie [1] - The partnership highlights the collaboration between Aethir and Polyhedra Network [1] Technology & Innovation - Tiancheng Xie holds a Ph D in Computer Science from UC Berkeley [1] - He co-authored a paper on trustless blockchain interoperability [1] - Polyhedra Network is building the future of Intelligence [1]

3/ Field-Specific Optimization:Benchmarked preliminary arithmetic cores to validate functional correctness and throughput scaling. Early results show promising resource utilization profiles for all three fields, paving the way for integration into the larger expander datapath.Stay tuned for more updates 🔥 ...

2/ FPGA Arithmetic Primitives (Versal HBM):Implemented optimized FPGA-based adders and multipliers targeting M31Ext3, Goldilocks, and BN254 fields. Each arithmetic block was tailored for Versal HBM devices, taking advantage of high-bandwidth memory to maximize throughput and minimize latency. This lays the groundwork for full hardware acceleration of proof generation on FPGAs. ...

Product Improvement - Expander received several enhancements last week [1] - These enhancements strengthened Expander's performance and reliability [1]

5/ Refactored Circuit Instantiation: Circuit creation throughout the codebase (e.g., in main.go, prover/prover.go, cmd/setup_keys/main.go, and documentation) has been updated to use NewFaceRegistrationCircuit() and NewFaceVerificationCircuit() factory functions.We ran end-to-end tests on small circuits and continued debugging + optimizing larger circuits. Integration of real ZKML computation graphs is in progress.Stay tuned for more updates 🔥 ...

Technology Updates - A new Git submodule zkcuda_recursion has been added, incorporating components for the recursive verifier [1]

Let's dive into the Dev Update from Polyhedra last week!The Expander explores GPU CI integration and the evolution of the bi-KZG implementation.Meanwhile, the Polyhedra i-D Project introduces the ZKML Recursive Verifier integration and the new zkcuda_recursion submodule. https://t.co/2Og33G3Bxl ...