Bank3: enabling temporarily private cryptocurrency transfers

The Bank3 protocol allows to send assets (such as cryptocurrency) to a smart contract so that the beneficiary remains unknown until the assets are withdrawn.

Posted 2024-03-01 by Vincenzo Iovino ‐ 16 min read

Indistinguishability obfuscation (iO) for general circuits

We propose a construction for indistinguishability obfuscation (iO) for general circuits. The scheme is concocted from four main ingredients: (1) selectively indistinguishably-secure functional encryption for general circuits having its encryption procedure in complexity class NC1; (2) universal circuits; (3) puncturable pseudorandom functions having evaluation in NC1; (4) indistinguishably-secure affine-determinant programs, a notion proposed by works in submission that particularizes iO for specific circuit classes and acts as 'depleted' obfuscators. The scheme can be used to build iO for all polynomial-sized circuits in a simplified way. Instantiations can be obtained from sub-exponentially secure learning with errors (LWE).

Posted 2023-10-23 by Razvan Rosie ‐ 5 min read

Nouns Private Voting Research Sprint - Technical Report

We provide a technical description of the outcomes of the work done by Aragon ZK Research (AZKR) during the exectution of the joint proposal submitted to the Nouns DAO Private Voting Research Sprint by Aztec Labs and AZKR.

Posted 2023-08-17 by AZKR ‐ 19 min read

Nouns Private Voting Research Sprint - General Report

This report presents the results of the joint work done by Aragon ZK Research Association and Aztec Labs to implement a private voting PoC for NounsDAO.

Posted 2023-08-17 by AZKR ‐ 15 min read

TLCS protocols for time-locked encryption

We describe two protocols (zk-TLCS and TLCS) that can be used for time-locked encryption under the assumption that a trusted parts publishes a certain type of random beacon at regular intervals. We then present our ** service, which will be based on the TLCS protocol.

Posted 2023-07-05 by AZKR ‐ 2 min read

E-voting: State of the Art

In this post we summarize a review of the state of the art in e-voting that we published at Aragon ZK Research.

Posted 2023-06-08 by Vincenzo Iovino ‐ 10 min read

Fast Consensus in Weakly Byzantine Asynchronous Environments

We explore conditions for achieving binary consensus in a single communication step when conditions are favourable. With leader-based protocols and known block producers this is possible with only a slight weakening of fault tolerance assumptions.

Posted 2023-05-29 by Alex Kampa ‐ 7 min read

The Poseidon hash function and its implementation in Noir

In this blog post, we provide a brief description of the Poseidon hash function, which provides a contrast with the SHA-2 family of hash functions discussed in a previous post, and discuss its implementation in Aztec's Noir language.

Posted 2023-03-31 by Ahmad Afuni ‐ 10 min read

MINI-FE: computing functions on private data without trusted parties

In this blog post we introduce MINI-FE, a cryptographic protocol to compute functions over private data without any trusted parties and with minimal interaction. In particular we present its applications for Private Stream Aggregation and Quadratic-like Boardroom Voting.

Posted 2023-03-29 by Artem Grigor ‐ 9 min read

BatRaVot: Scalable Trustless Voting on Ethereum

BatRaVot is a trustless voting protocol that allows for both on-chain and off-chain voting with on-chain results, making it a cost-effective and versatile solution for various types of voting scenarios on the Ethereum blockchain. In the blog post we explain the protocol and present our implementation that you can already use today.

Posted 2023-01-19 by Vincenzo Iovino and Artem Grigor ‐ 7 min read