1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.CR2021
Multi-Party Proof Generation in QAP-based zk-SNARKs
Ali Rahimi, Mohammad Ali Maddah-Ali
Zero-knowledge succinct non-interactive argument of knowledge (zkSNARK) allows a party, known as the prover, to convince another party, known as the verifier, that he knows a priva…
math.CO2010★ 1 cited
Graph Coloring and Function Simulation
Amir Daneshgar, Ali Reza Rahimi, Siamak Taati
We prove that every partial function with finite domain and range can be effectively simulated through sequential colorings of graphs. Namely, we show that given a finite set $S=\{…