This is our monthly progress report, please check out the updates on product, technology, and community building. Development & Product Spotlight 🕵️‍♂️ Eigen hybrid proof system optimization. Developed AVX2 based SIMD Goldilocks and Poseidon. The performance of Poseidon is not better than the native implementation, will keep optimizing Poseidon, including by AVX512; Developed proving pipeliner…

1. Introduction Lookup protocols are designed to handle specific operations that are challenging for SNARKs (Succinct Non-Interactive Arguments of Knowledge). Broadly speaking, these protocols enable one to prove a statement of the form: Given a table T={t_i​},i=0,…,N−1​ of distinct values (referred to as ‘rows’), and a list of lookups F={f_j​}j=0,…,m−1​ (which may…

This is our monthly progress report, please check out the updates on product, technology, and community building. Development & Product Spotlight 🕵️‍♂️ Eigen hybrid proof system optimization Supported final proof generation over BLS12381, including Poseidon, MerkleHash over BLS12381; Supported R1CS to PIL converter, implemented by Rust; Supported Rust zkVM, with proof recursion and proof aggregation…

This is our monthly progress report, please check out the updates on product, technology, and community building. Development & Product Spotlight 🕵️‍♂️ Eigen hybrid proof system optimization. Support Stark recursive proof, check out the example. Optimize eAIR’s LDE for Custom Gate and Lookup Table via ahead-of-compile; [WIP]Design and implement the prototype of the decentralized sequencer…

This is our monthly progress report, please check out the updates on product, technology, and community building. Development & Product Spotlight 🕵️‍♂️ Eigen hybrid proof system optimization. Implement witness calculator by pure Rust. 2. Eigen Secret(zk-zkRollup) Testnet: Fix lots of bugs among eigen-secret/eigen-secret-ui Implement deployment over Docker Compose; Optimize the browser page content loading via…

This is our monthly progress report, please check out the updates on product, technology, and community building. Development & Product Spotlight 🕵️‍♂️ Eigen hybrid proof system optimization. Analyse PlonkJS performance issues and have a survey for the possible optimization for Web PlonkJS; Design the multi-threads Wasm Rayon for PlonkJS over eigen-zkvm/plonky. 2. Eigen Secret(zk-zkRollup) Testnet:

The Hermez zkEVM teams open-sourced its paper eSTARK[1], a polynomial IOP model that generalizes the STARK family through the introduction of a more generic intermediate representation called eAIR. The core techniques applied to optimize arithmetization and polynomial computations are listed below. FRI as PCS and Batch FRI via Linear hash universal arithmetization: eAIR for connection, inclusion(pLookup), and selected vector arguments.

This is our monthly progress report, please check out the updates on product, technology, and community building. Development & Product Spotlight 🕵️‍♂️ Eigen hybrid proof system optimization. Developed Aggregation proof for eigen-zkit, and released the FIRST aggregation proof system for Circom 2.x. The tutorial can be found here(https://twitter.com/Eigen_Network/status/1635616562718867456). Analyzing the performance of the DAG computing…

This is our monthly progress report, please check out the updates on product, technology, and community building. Development & Product Spotlight 🕵️‍♂️ Eigen hybrid proof system optimization. Implement recursive FRI argument, sample; Migrate Hermez zkVM SM on Layered Proof System, sample; Perf test on heavy workloads(like Hermez zkVM), and analyze the bottleneck, is designing the…