Recursive-OVOTE: OVOTE enjoying Plonky2 recursion

Aragon ZK Research

Last update: Apr 2, 2023

Related tags

Command-line rovote

Overview

rovote: recursive ovote

Recursive-OVOTE: OVOTE enjoying Plonky2 recursion.

Note: this repo is an experiment, do not use in production.

The inner & outer proofs of this repo are based on a modified adaptation from plony2-semaphore.

Main idea

Voters generate a proof proving their membership in the Census, the votes + proofs are sent offchain to one of the available rollup servers, later the rollup server aggregates the voters proofs into a single proof, which proves the validity of the claimed result for the processed votes from valid voters. This final proof can later be proven in a EVM-friendly proof (eg. Groth16, Plonk+KZG), which is then verified in Ethereum and if valid triggers onchain funds movement.

You might also like...

This tool is for those who often want to search for a string deeply into a directory in recursive mode, but not with the great tool: grep, ack, ripgrep .........一个工具最大的价值不是它有多少功能，而是它能够让你以多快的速度达成所愿......

SSS - so stupid search tool 阿Q的哥锐普 English Documentation install install from source code 1.install rust toolchain curl --proto '=https' --tlsv1.2 -

136 Dec 11, 2022

Left Recursive PEG for rust

Left Recursive Parsing Expression Grammar (PEG) lrpeg allows left recursive rules, and uses ratpack parsing for speed. I wrote a blog post to introduc

66 Jun 13, 2022

Nova: Recursive SNARKs without trusted setup

Nova: Recursive SNARKs without trusted setup Nova is a high-speed recursive SNARK (a SNARK is type cryptographic proof system that enables a prover to

219 Jan 1, 2023

Non-Recursive Inverting of Binary Tree in Rust

Non-Recursive Inverting of Binary Tree in Rust The idea is to implement the classical Inverting of Binary Tree but without using recursion. Quick Star

15 Dec 6, 2022

Rust macro to make recursive function run on the heap (i.e. no stack overflow).

Decurse Example #[decurse::decurse] // 👈 Slap this on your recursive function and stop worrying about stack overflow! fn factorial(x: u32) - u32 {

18 Dec 28, 2022

The recursive model index, a learned index structure

RMI This is a reference implementation of recursive model indexes (RMIs). A prototype RMI was initially described in The Case for Learned Index Struct

162 Dec 27, 2022

Recursive & Iterative Binary Search Tree Implementations within Rust

bst-rs Recursive & Iterative Binary Search Tree Implementations within Rust Table of Contents Personal Goals About Quick Start License Contributing In

6 Oct 1, 2022

STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

STARK - SNARK recursive proofs The point of this library is to combine the SNARK and STARK computation arguments of knowledge, namely the Winterfell l

68 Dec 5, 2022

Minimal recursive "truncate file/directory names to meet requirements" tool

trunc_filenames ssokolow@monolith ~ % trunc_filenames --help trunc_filenames 0.1.0 Rename files and directories to fit length limits. WARNING: Will n

2 Nov 20, 2022

A language parser tool to build recursive descent top down parser.

lang-pt A language parser tool to generate recursive descent top down parser. Overview Parsers written for the languages like Javascript are often cus

7 Jan 4, 2023

A fault-tolerant, recursive-descent parser for Ara Programming Language 🌲

Ara Parser A fault-tolerant, recursive-descent parser for Ara Programming Language 🌲 Note: This project is a hard-fork of php-rust-tools/parser Speci

18 Jan 23, 2023

A handwritten fault-tolerant, recursive-descent parser for PHP written in Rust.

PHP-Parser A handwritten fault-tolerant, recursive-descent parser for PHP written in Rust. Warning - this is still alpha software and the public API i

278 Jun 24, 2023

A heap allocated runtime for deeply recursive algorithms.

Reblessive A heap allocated runtime for deeply recursive algorithms. Turn your cursed recursive algorithm into a blessed heap allocated structure whic