U.S. flag   An unofficial archive of your favorite United States government website
Dot gov

Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.

Https

We are building a provable archive!
A lock (Dot gov) or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)

    Presentations 2023
Presentation

Ligetron: WASM as an Intermediate Representation and easy tooling for zkSNARKs

September 27, 2023

Presenters

Muthu Venkitasubramaniam - Georgetown University; Ligero Inc.

Description

Abstract. Ligetron is an efficient post-quantum sublinear non-interactive zero-knowledge system that can be deployed as a web application and scales to billions of gates.  Core to our construction is identifying a good intermediate representation, namely Web Assembly (WASM) that is: (1) versatile to represent complex computations, (2) can be compiled from most popular high-level languages, and (3) embodies rich semantics to derive space-efficiency. Ligetron can take as input an NP relations expressed as a WASM code. This allows us to easily tool new applications by coding in a high-level language such as C/C++/Rust and cross-compile to WASM using standard compilers (eg, emcripten).

Presented at

MPTS 2023: NIST Workshop (virtual) on Multi-Party Threshold Schemes 2023

Event Details

Location

    Virtual

Related Topics

Security and Privacy: cryptography

Created September 21, 2023, Updated September 22, 2023