- Видео 6
- Просмотров 788
Snarkify
США
Добавлен 27 фев 2023
Snarkify is scaling ZK for the decentralized future. Snarkify's approach is centered around utilizing techniques such as arithmetic circuit optimization, recursive proof, proof aggregation and GPU/FPGA-based hardware acceleration to scale proof systems. Snarkify provides developers with the necessary infrastructure & tools to easily and efficiently build, deploy and scale ZKP applications.
Demo of End-to-end zkEVM Proving Infrastructure by Dr. Jiannan Ouyang
Dr. Jiannan Ouyang, CEO & co-founder of Snarkify, showcased our end-to-end halo2 zkEVM GPU proving infrastructure, live in production for Scroll Mainnet and SDK chains. Recently featured as the exclusive Scroll SDK partner for end-to-end GPU-accelerated proving services, Snarkify leads with a 1.25x performance boost over the nearest competitor in GPU proving efficiency. This talk delved into how Snarkify’s unique infrastructure blends advanced GPU tech with high-performance software, bringing the industry closer to real-time proving.
About Dr. Jiannan Ouyang
Dr. Jiannan Ouyang is the co-founder and CEO of Snarkify, where he leads the development of cutting-edge proving infrastructure f...
About Dr. Jiannan Ouyang
Dr. Jiannan Ouyang is the co-founder and CEO of Snarkify, where he leads the development of cutting-edge proving infrastructure f...
Просмотров: 25
Видео
Talk: Implementing Sirius for Folding-based zkEVM by Dr. Chao Ma
Просмотров 2214 дней назад
In this talk, Dr. Chao Ma introduced the pioneering folding-based zkEVM developed using the Sirius folding library. With the full compatibility of Sirius with the Halo2 frontend, Snarkify successfully integrated an off-the-shelf zkEVM circuit with minimal modifications. Snarkify's approach leverages a folding scheme to eliminate the multi-layered proof compression and aggregation costs inherent...
ZPrize 2023 & Proving Algorithms Acceleration by Dr Niall Emmart
Просмотров 4014 дней назад
Snarkify co-founder Dr. Niall Emmart, gave an overview of our winning solution in the recently concluded 2023 ZPrize 1B competition, end-to-end proving of a Merkle on the GPU. Snarkify's solution was 900x faster than the rust code on the host. We achieved an end-to-end proof time of 0.55 seconds. In the talk, Niall discussed our solution, and review some interesting algorithms that gave us an e...
Clip: Dr. Ouyang on the open culture of ZK: “Make EVERYONE faster instead of making SOMEONE faster”
Просмотров 65Год назад
This clip is from Dr. Ouyang’s panel session at the ZPrize summit during ETHDenver 2023. Topic: Accelerating MSM Operations in the Browser Guest: Jiannan Ouyang from @Snarkify_ZKP, Boyuan Feng from @MantaNetwork Moderator: Luke Pearson from Polychain Capital About Dr. Ouyang Jiannan Ouyang is a co-founder and CEO at Snarkify. He is a Ph.D. in Computer Science and a former research scientist at ...
Clip: Dr. Ouyang on Practical Considerations when Integrating ZPrize Optimizations into Arkworks
Просмотров 58Год назад
This clip is from Dr. Ouyang’s panel session at the ZPrize summit during ETHDenver 2023. Topic: Accelerating MSM Operations in the Browser Guest: Jiannan Ouyang from @Snarkify_ZKP , Boyuan Feng from @MantaNetwork Moderator: Luke Pearson from Polychain Capital About Dr. Ouyang Jiannan Ouyang is a co-founder and CEO at Snarkify. He is a Ph.D. in Computer Science and a former research scientist at...
Talk: Introduction to ZK Hardware Acceleration by Dr. Jiannan Ouyangfrom Snarkify
Просмотров 578Год назад
Dr. Jiannan Ouyang delivered an informative introduction to ZK hardware acceleration, covering problems, solutions, and state-of-the-art implementations. The presentation started with an introduction to essential mathematical concepts in ZK proof generation such as fields, elliptic curves, and polynomials. Then, two compute kernels - MSM and NTT, which are the focus of ZK hardware acceleration ...