Lev Soukhanov

research

Witness Encryption from Arithmetic Affine Determinant Programs

Team

research

Bitcoin PIPEs v2

Covenants and Pessimistic ZKPs on Bitcoin Without Soft Fork via Witness Encryption

Misha Komarov

research

Bitcoin PIPEs

Covenants and ZKPs on Bitcoin Without Soft Fork

Alisa Cherniaeva

research

Placeholder

A zk-SNARK based proving system with PlonK-style arithmetization.

Misha Komarov

research

zkLLVM Circuit Compiler

Placeholder Proof System Circuit Compiler