This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#![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; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#![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 | |
/// |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#![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; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#![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 Adjedj aka ZeroFearSyndrom
URL: https://www.zkhack.dev/puzzle2.html GitHub Repo: https://github.com/kobigurk/zkhack-trusted-setup
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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(); |