Michael Adjedj aka ZeroFearSyndrom
URL: https://www.zkhack.dev/puzzle2.html GitHub Repo: https://github.com/kobigurk/zkhack-trusted-setup
use ark_bls12_381::{Fr, Bls12_381, Fq12}; | |
use ark_ec::{AffineCurve, PairingEngine}; | |
use prompt::{puzzle, welcome}; | |
use std::str::FromStr; | |
use trusted_setup::data::puzzle_data; | |
use trusted_setup::PUZZLE_DESCRIPTION; | |
use std::collections::HashMap; | |
fn main() { | |
welcome(); |
Michael Adjedj aka ZeroFearSyndrom
URL: https://www.zkhack.dev/puzzle2.html GitHub Repo: https://github.com/kobigurk/zkhack-trusted-setup
#![allow(unused, unreachable_code)] | |
use ark_ed_on_bls12_381::Fr; | |
use ark_ff::Field; | |
use double_trouble::data::puzzle_data; | |
use double_trouble::inner_product_argument::utils::challenge; | |
use double_trouble::verify; | |
use double_trouble::PUZZLE_DESCRIPTION; | |
use prompt::{puzzle, welcome}; | |
use std::fmt::Display; | |
use std::str::FromStr; |
#![allow(unused, unreachable_code)] | |
use ark_ed_on_bls12_381::Fr; | |
use ark_ff::{Field, UniformRand}; | |
use strong_adaptivity::{Instance, Proof, data::puzzle_data, prove, Witness, ProofCommitment, ProofResponse}; | |
use strong_adaptivity::verify; | |
use strong_adaptivity::PUZZLE_DESCRIPTION; | |
use prompt::{puzzle, welcome}; | |
use rand::rngs::ThreadRng; | |
use std::ops::Div; | |
use strong_adaptivity::msg_equality_arg::utils::b2s_hash_to_field; |
#![allow(unused, unreachable_code)] | |
/// | |
/// ================================== ZKHACK Puzzle 5 - Write-Up ================================== | |
/// | |
/// Michael ADJEDJ aka ZeroFearSyndrom | |
/// aka Michael-Qedit | |
/// | |
/// => URL: https://www.zkhack.dev/puzzle5.html | |
/// => GitHub Repo: https://github.com/kobigurk/zkhack-strong-adaptivity | |
/// |
#![allow(dead_code)] | |
#![allow(non_snake_case)] | |
#![allow(unused_variables)] | |
#![allow(unreachable_code)] | |
#![allow(unused_imports)] | |
use ark_ff::{One, Zero}; | |
use prompt::{puzzle, welcome}; | |
use soundness_of_music::data::puzzle_data; | |
use soundness_of_music::prover; |