Skip to content

Instantly share code, notes, and snippets.

View sifnoc's full-sized avatar

JinHwan sifnoc

  • Seoul
View GitHub Profile
@sifnoc
sifnoc / semaphore-v4-ceremony_attestation.log
Created June 28, 2024 07:18
Attestation for Semaphore V4 Ceremony MPC Phase 2 Trusted Setup ceremony
Hey, I'm sifnoc-10276359 and I have contributed to the Semaphore V4 Ceremony.
The following are my contribution signatures:
Circuit # 1 (semaphorev4-1)
Contributor # 343
Contribution Hash:
ce5ac385 fa8198d1 0552a543 bc74b22e
ed17229d 34a98170 e37121b2 4feead58
d68f7009 1228a429 7186021e 2ec3effa
a801b4e2 105c75cf e5726b4e 12f65189
@sifnoc
sifnoc / v1_175_currencies_2_18_users.log
Created March 19, 2024 08:59
Summa benchmark for comparison
// commit: 088ef520ab2c00e5fdabc81c7ede51e06281c777
// Test branch: v1-update-benchmark https://github.com/sifnoc/summa-solvency/tree/v1-update-benchmark
warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
--> src/lib.rs:4:12
|
4 | #![feature(generic_const_exprs)]
| ^^^^^^^^^^^^^^^^^^^
|
= note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
@sifnoc
sifnoc / verifying_key.sol
Created February 14, 2024 07:42
Number of currencies is 3
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
contract Halo2VerifyingKey {
constructor() {
assembly {
mstore(0x0000, 0x0e6f2c8bfe5d98eab60f5ccee40e252e11cdffae0f099b771701e3e100e3ee1f) // vk_digest
mstore(0x0020, 0x0000000000000000000000000000000000000000000000000000000000000011) // k
mstore(0x0040, 0x30643640b9f82f90e83b698e5ea6179c7c05542e859533b48b9953a2f5360801) // n_inv
warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
--> src/lib.rs:4:12
|
4 | #![feature(generic_const_exprs)]
| ^^^^^^^^^^^^^^^^^^^
|
= note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
= note: `#[warn(incomplete_features)]` on by default
warning: unused import: `eval_polynomial`
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Compiling summa-solvency v0.2.0 (/home/ubuntu/summa-solvency/kzg_prover)
warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
--> src/lib.rs:4:12
|
4 | #![feature(generic_const_exprs)]
| ^^^^^^^^^^^^^^^^^^^
|
= note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
= note: `#[warn(incomplete_features)]` on by default
Compiling summa-solvency v0.2.0 (/home/ubuntu/summa-solvency/kzg_prover)
warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
--> src/lib.rs:4:12
|
4 | #![feature(generic_const_exprs)]
| ^^^^^^^^^^^^^^^^^^^
|
= note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
= note: `#[warn(incomplete_features)]` on by default
WARNING: HTML report generation will become a non-default optional feature in Criterion.rs 0.4.0.
This feature is being moved to cargo-criterion (https://github.com/bheisler/cargo-criterion) and will be optional in a future version of Criterion.rs. To silence this warning, either switch to cargo-criterion or enable the 'html_reports' feature in your Cargo.toml.
Gnuplot not found, using plotters backend
Benchmarking build Merkle sum tree for 2 power of 28 entries with 1 currencies
Benchmarking build Merkle sum tree for 2 power of 28 entries with 1 currencies: Warming up for 3.0000 s
Warning: Unable to complete 10 samples in 5.0s. You may wish to increase target time to 62803.0s.
Benchmarking build Merkle sum tree for 2 power of 28 entries with 1 currencies: Collecting 10 samples in estimated 62803 s (10 iterations)
Benchmarking build Merkle sum tree for 2 power of 28 entries with 1 currencies: Analyzing
WARNING: HTML report generation will become a non-default optional feature in Criterion.rs 0.4.0.
This feature is being moved to cargo-criterion (https://github.com/bheisler/cargo-criterion) and will be optional in a future version of Criterion.rs. To silence this warning, either switch to cargo-criterion or enable the 'html_reports' feature in your Cargo.toml.
Gnuplot not found, using plotters backend
Benchmarking build Merkle sum tree for 2 power of 20 entries with 1 currencies
Benchmarking build Merkle sum tree for 2 power of 20 entries with 1 currencies: Warming up for 3.0000 s
Warning: Unable to complete 10 samples in 5.0s. You may wish to increase target time to 246.7s.
Benchmarking build Merkle sum tree for 2 power of 20 entries with 1 currencies: Collecting 10 samples in estimated 246.69 s (10 iterations)
Benchmarking build Merkle sum tree for 2 power of 20 entries with 1 currencies: Analyzing
WARNING: HTML report generation will become a non-default optional feature in Criterion.rs 0.4.0.
This feature is being moved to cargo-criterion (https://github.com/bheisler/cargo-criterion) and will be optional in a future version of Criterion.rs. To silence this warning, either switch to cargo-criterion or enable the 'html_reports' feature in your Cargo.toml.
Gnuplot not found, using plotters backend
Benchmarking build Merkle sum tree for 2 power of 20 entries with 1 currencies
Benchmarking build Merkle sum tree for 2 power of 20 entries with 1 currencies: Warming up for 3.0000 s
Warning: Unable to complete 10 samples in 5.0s. You may wish to increase target time to 318.7s.
Benchmarking build Merkle sum tree for 2 power of 20 entries with 1 currencies: Collecting 10 samples in estimated 318.70 s (10 iterations)
Benchmarking build Merkle sum tree for 2 power of 20 entries with 1 currencies: Analyzing