TL;DR: Ingonyama has  open-sourced new way to accelerate Zero Knowledge Using FPGA. In AWS cloud. Easy. Accessible. Cheap. Link to Github Zero Knowledge (ZK) technology is a fundamental building block for decentralized computing. Its two main applications are privacy-preserving computation and verifiable computation. For specific types of ZK such as SNARK and STARK-based systems, additional properties include public verifiability, smaller proof sizes, and fast verification, making these kinds of ZK perfect for use in blockchains for and purposes. scalability privacy At present, ZK tech is being developed and used by leading blockchains (e.g. Filecoin, Aleo), L2s (e.g. Starknet, zkSync) and decentralized applications (e.g. Dark Forest, ZKAttestor). Unfortunately, nothing great ever comes easily. The Prover, responsible for generating the proof, must run a computationally intensive algorithm with significant data blowup during the computation. suggest a factor of up to 10 million in prover overhead while producing the proof, compared to directly running the computation. Recent estimates Today, prover overhead is considered the main computational bottleneck for applied ZK. Without exception, every project built on ZK technology is facing or will face this bottleneck, which manifests adversely in either latency, throughput, memory, power consumption, or cost. A unique property of Zero Knowledge computation is that it runs modular arithmetic under the hood, on enormous field sizes. This requirement and its trials on CPUs lead to the conclusion that modern CPU architecture is simply not built to handle this form of computation efficiently. As a result, the need for specialized hardware ZK prover acceleration is clear. ZK Acceleration on FPGAs Until now, the majority of hardware experimentation for accelerating ZK has been done with GPUs. In Ingonyama's recent paper, , we explored bringing functioning and operational ZK for the first time to FPGAs. We believe this to be a superior approach for accelerating ZK computation on the path to developing Zero Knowledge for Application Specific Integrated Circuits (ASICs). PipeMSM It is our belief that the energy efficiency in FPGAs is more suitable for ZK due to their function-specific design compared with GPU’s narrower flexibility. With FPGAs at the base, we take a holistic approach to ZK optimization with designs based on a novel algorithmic approach and hardware-specific optimizations. In the paper, we use the Parallel Bucket Method and low latency Complete Elliptic Curve addition formulae along with to produce MSMs, a major bottleneck for many ZK provers, with improved energy efficiency and speeds comparative to GPUs. Domb-Barret Reduction We implemented and tested our design on FPGA, and highlight the promise of optimized hardware over state-of-the-art GPU-based MSM solvers, in terms of both speed and energy expenditure. Using MSM accelerator in the cloud we can achieve significant ZK acceleration. A disadvantage of FPGAs compared to GPUs is their lack of accessibility, while GPUs have effectively become commodity hardware. This means there is a high barrier for ZK users simply getting an FPGA into their hands. One promising approach to overcoming this barrier is by utilizing cloud computing. Similar to the way cloud providers have enabled easy and immediate access to massive data center resources which has lowered the high barrier to entry for small companies, clouds offering FPGA resources such as AWS, Alibaba Cloud and others have made FPGAs more accessible with the same kind of “on-tap” accessibility. This is a GAME-CHANGER in the world of hardware acceleration. Introducing Cloud-ZK With the Ingonyama has made open source, the benefits of ZK hardware acceleration on FPGAs are accessible to anyone, anywhere, anytime and with costs comparable to any other standard CPU instance on an hourly basis. Cloud-ZK toolkit As part of the initial release we have included: 1. An example AFI for BLS12–377 Multiscalar Multiplication (MSM) on instance. AWS EC2 F1 2. A Rust library for developers to run variable-size MSM in their code, accelerated in the cloud. Use Ingonyama FPGA-accelerated MSM of any size 3. A Rust implementation for AWS XDMA Driver, to transfer data between AWS FPGA and host CPU 4. Benchmarks and tests using arkworks for reference 5. A developer guide for creating your own Amazon FPGA Images (AFIs) Our FPGA code achieves 4x the baseline of FPGA MSM competition, where max prize criteria is 2x :) Zprize As an example application, Ingonyama's AWS F1 instance can be used to accelerate Aleo prover. In terms of proofs per second, the accelerator can generate up to ~5x proofs per second compared to running on CPU alone. In the future, we plan to improve the toolkit in the following ways: 1. Improving the MSM accelerator core: power consumption, speed, functionality (more curves) 2. Adding NTT accelerator AFI 3. Supporting Ali Cloud and other FPGA based instances Follow the Journey on Twitter: https://twitter.com/Ingo_zk Github: https://github.com/ingonyama-zk https://medium.com/@ingonyama/ Blog: Join the team: https://www.ingonyama.com/careers

Filecoin

Amazon

Using Cloud-ZK for Developing ZKP Acceleration in the Cloud

About Author

Comments

TOPICS

THIS ARTICLE WAS FEATURED IN

Related Stories

Untitled Story

Lowering the Barrier of Entry to Zero Knowledge Proofs

Free Leadership Assessment for 500 Startups, Accelerators, and Investors

Lowering the Barrier of Entry to Zero Knowledge Proofs

105 Stories To Learn About K8s

10 Ways to Future-Proof Your Business With Cloud

Lowering the Barrier of Entry to Zero Knowledge Proofs

Free Leadership Assessment for 500 Startups, Accelerators, and Investors

Lowering the Barrier of Entry to Zero Knowledge Proofs

105 Stories To Learn About K8s

10 Ways to Future-Proof Your Business With Cloud

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps