├── 1_simple_arithmetic ├── generate_challenge_input.js ├── generate_circuit_input.js ├── sample_challenge_circuit.circom └── sample_circuit.circom ├── 2_verify_eddsa ├── generate_challenge_input.js ├── generate_circuit_input.js ├── sample_challenge_circuit.circom └── sample_circuit.circom ├── 3_verify_merkle ├── MiMCMerkle.js ├── generate_challenge_leaf_existence_input.js ├── generate_get_merkle_root_input.js ├── generate_leaf_existence_input.js ├── sample_challenge_leaf_existence.circom ├── sample_get_merkle_root.circom └── sample_leaf_existence.circom ├── 4_single_tx ├── MiMCMerkle.js ├── generate_circuit_input.js ├── get_merkle_root.circom ├── leaf_existence.circom ├── sample_circuit.circom ├── stringifybigint.js └── verify_eddsamimc.circom ├── 5_comparator ├── bad_force_equal_if_enabled.circom ├── circuit.circom ├── force_equal_if_enabled.circom └── iszero.circom ├── README.md └── package.json /1_simple_arithmetic/generate_challenge_input.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/1_simple_arithmetic/generate_challenge_input.js -------------------------------------------------------------------------------- /1_simple_arithmetic/generate_circuit_input.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/1_simple_arithmetic/generate_circuit_input.js -------------------------------------------------------------------------------- /1_simple_arithmetic/sample_challenge_circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/1_simple_arithmetic/sample_challenge_circuit.circom -------------------------------------------------------------------------------- /1_simple_arithmetic/sample_circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/1_simple_arithmetic/sample_circuit.circom -------------------------------------------------------------------------------- /2_verify_eddsa/generate_challenge_input.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/2_verify_eddsa/generate_challenge_input.js -------------------------------------------------------------------------------- /2_verify_eddsa/generate_circuit_input.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/2_verify_eddsa/generate_circuit_input.js -------------------------------------------------------------------------------- /2_verify_eddsa/sample_challenge_circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/2_verify_eddsa/sample_challenge_circuit.circom -------------------------------------------------------------------------------- /2_verify_eddsa/sample_circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/2_verify_eddsa/sample_circuit.circom -------------------------------------------------------------------------------- /3_verify_merkle/MiMCMerkle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/3_verify_merkle/MiMCMerkle.js -------------------------------------------------------------------------------- /3_verify_merkle/generate_challenge_leaf_existence_input.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/3_verify_merkle/generate_challenge_leaf_existence_input.js -------------------------------------------------------------------------------- /3_verify_merkle/generate_get_merkle_root_input.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/3_verify_merkle/generate_get_merkle_root_input.js -------------------------------------------------------------------------------- /3_verify_merkle/generate_leaf_existence_input.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/3_verify_merkle/generate_leaf_existence_input.js -------------------------------------------------------------------------------- /3_verify_merkle/sample_challenge_leaf_existence.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/3_verify_merkle/sample_challenge_leaf_existence.circom -------------------------------------------------------------------------------- /3_verify_merkle/sample_get_merkle_root.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/3_verify_merkle/sample_get_merkle_root.circom -------------------------------------------------------------------------------- /3_verify_merkle/sample_leaf_existence.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/3_verify_merkle/sample_leaf_existence.circom -------------------------------------------------------------------------------- /4_single_tx/MiMCMerkle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/4_single_tx/MiMCMerkle.js -------------------------------------------------------------------------------- /4_single_tx/generate_circuit_input.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/4_single_tx/generate_circuit_input.js -------------------------------------------------------------------------------- /4_single_tx/get_merkle_root.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/4_single_tx/get_merkle_root.circom -------------------------------------------------------------------------------- /4_single_tx/leaf_existence.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/4_single_tx/leaf_existence.circom -------------------------------------------------------------------------------- /4_single_tx/sample_circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/4_single_tx/sample_circuit.circom -------------------------------------------------------------------------------- /4_single_tx/stringifybigint.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/4_single_tx/stringifybigint.js -------------------------------------------------------------------------------- /4_single_tx/verify_eddsamimc.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/4_single_tx/verify_eddsamimc.circom -------------------------------------------------------------------------------- /5_comparator/bad_force_equal_if_enabled.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/5_comparator/bad_force_equal_if_enabled.circom -------------------------------------------------------------------------------- /5_comparator/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/5_comparator/circuit.circom -------------------------------------------------------------------------------- /5_comparator/force_equal_if_enabled.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/5_comparator/force_equal_if_enabled.circom -------------------------------------------------------------------------------- /5_comparator/iszero.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/5_comparator/iszero.circom -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/README.md -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/therealyingtong/roll_up_circom_tutorial/HEAD/package.json --------------------------------------------------------------------------------