Abstract

Zk-SNARKs offer impressive privacy contributions to blockchains and their users. As evolved zero-knowledge proofs, they enable considerable improvements for preserving secrecy of transactional information that could be exploitative to the sender and receiver. However, proof circuits thus far have been plagued with inefficiencies, mostly due to their computational intricacies which result in restricted performance. Plonkup combines the Plonk and Plookup proving schemes to deliver a more efficient proof circuit for hash functions. Distinguished by its utilization of non-arithmetic gates called “lookups” to help model hash functions in a circuit more efficiently, Plonkup establishes a zk-SNARK that provides blockchains with a more scalable zero-knowledge solution.

Introduction

Zk-SNARKs offer impressive privacy contributions to blockchains and their users. As evolved zero-knowledge proofs, they enable considerable improvements for preserving secrecy of transactional information that could be exploitative to the sender and receiver. However, proof circuits thus far have been plagued with inefficiencies, mostly due to their computational intricacies which result in restricted performance. Plonkup combines the Plonk and Plookup proving schemes to deliver a more efficient proof circuit for hash functions. Distinguished by its utilization of non-arithmetic gates called “lookups” to help model hash functions in a circuit more efficiently, Plonkup establishes a zk-SNARK that provides blockchains with a more scalable zero-knowledge solution.

A short review of zk-SNARKS

Zk-SNARKs offer impressive privacy contributions to blockchains and their users. As evolved zero-knowledge proofs, they enable considerable improvements for preserving secrecy of transactional information that could be exploitative to the sender and receiver. However, proof circuits thus far have been plagued with inefficiencies, mostly due to their computational intricacies which result in restricted performance. Plonkup combines the Plonk and Plookup proving schemes to deliver a more efficient proof circuit for hash functions. Distinguished by its utilization of non-arithmetic gates called “lookups” to help model hash functions in a circuit more efficiently, Plonkup establishes a zk-SNARK that provides blockchains with a more scalable zero-knowledge solution.

Explore Further