Skip to content

Instantly share code, notes, and snippets.

#[cfg(test)]
mod grand_polys {
use std::{ops::{AddAssign, MulAssign}, time::Instant, iter};
use ark_bn254::{Fr as F, G1Affine, G1Projective};
use ark_ec::{VariableBaseMSM};
use ark_std::{test_rng, UniformRand};
use ark_ff::{Field, Zero, One, batch_inversion};
use num_bigint::BigUint;
@akinovak
akinovak / permute_for_lookup.rs
Last active October 21, 2022 17:05
Simplified permuting A(X) and S(X) for lookup argument
use std::collections::BTreeMap;
fn permute_for_lookup(
a: &[usize],
s: &[usize],
) -> (Vec<usize>, Vec<usize>) {
assert_eq!(a.len(), s.len());
let mut a_permuted = a[..].to_vec();
a_permuted.sort();
@akinovak
akinovak / attestation.txt
Created April 4, 2022 11:52
Attestation
I contributed to the Semaphore Trusted Setup Multi-Party Ceremony.
The following are my contribution signatures:
Circuit: semaphore16
Contributor # 17
Hash: fd197242 f740592b 5e1b135e 00e2863c
7c6267fd ae6d0ced d53fc94a e26438f4
267ab5bb 15529f6d 9fb244d6 ef00a45a
90bbc156 010599cc d5682100 99868e0d