Michael-Qedit

#![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;

Michael-Qedit

#![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
///

Michael-Qedit

#![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;

Michael-Qedit

///
/// ================================== ZKHACK Puzzle 4 - Write-Up ==================================
///
/// Michael ADJEDJ aka ZeroFearSyndrom
///
/// => URL: https://www.zkhack.dev/puzzle4.html
/// => GitHub Repo: https://github.com/kobigurk/zkhack-hidden-in-plain-sight
///
/// This write-up is written as a Rust file. The comment explains how to solve it, while the code
/// actually solves it. If you want to launch this solution by yourself, just replace the

Michael-Qedit

#![allow(unused, unreachable_code, dead_code)]

use ark_bls12_381::{Fr, G1Affine};
use ark_ff::*;
use ark_poly::{
    univariate::DensePolynomial, EvaluationDomain, GeneralEvaluationDomain, Polynomial,
    UVPolynomial,
};
use ark_serialize::CanonicalDeserialize;
use hidden_in_plain_sight::{generate::kzg_commit, PUZZLE_DESCRIPTION};

Michael-Qedit

https://hackmd.io/@jS18DvgiThC1tAt5ceEnYg/HJNCBT0PY

Michael-Qedit

#![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;

Michael-Qedit

ZKHack - Puzzle 2

Michael Adjedj aka ZeroFearSyndrom

URL: https://www.zkhack.dev/puzzle2.html GitHub Repo: https://github.com/kobigurk/zkhack-trusted-setup

---

First run

Michael-Qedit

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();