Sergio Chouhy schouhy
schouhy
/ modulo-p-cardano-semaphore-v3-trusted-setup_attestation.log
Created
November 20, 2024 18:35
Attestation for Modulo-P Cardano Semaphore V3 Trusted Setup MPC Phase 2 Trusted Setup ceremony
This file contains hidden or 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
| Hey, I'm schouhy-41742639 and I have contributed to the Modulo-P Cardano Semaphore V3 Trusted Setup. | |
| The following are my contribution signatures: | |
| Circuit # 1 (semaphore) | |
| Contributor # 4 | |
| Contribution Hash: 5ceeb81c 44bbd180 84d519b8 6e24f3ff | |
| be90d645 a27c6faa d53d04b5 1004eba6 | |
| b57dec63 67311cc2 4e0e9ccd 874b2355 | |
| 6a87ea9e e6532848 3756fc2b 9b1862cb |
schouhy
/ fibonacci_air_prove_verify_2.cc
Last active
October 13, 2023 22:59
Stone prover Fibonacci AIR case 2
This file contains hidden or 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
| #include "starkware/air/fibonacci/fibonacci_trace_context.h" | |
| #include "starkware/channel/noninteractive_prover_channel.h" | |
| #include "starkware/channel/noninteractive_verifier_channel.h" | |
| #include "starkware/crypt_tools/keccak_256.h" | |
| #include "starkware/stark/stark.h" | |
| #include "starkware/stark/test_utils.h" | |
| #include "starkware/stark/utils.h" | |
| using namespace starkware; | |
| using StarkField252Element = PrimeFieldElement<252, 0>; |
This file contains hidden or 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
| #include "starkware/air/fibonacci/fibonacci_trace_context.h" | |
| #include "starkware/channel/noninteractive_prover_channel.h" | |
| #include "starkware/channel/noninteractive_verifier_channel.h" | |
| #include "starkware/crypt_tools/keccak_256.h" | |
| #include "starkware/stark/stark.h" | |
| #include "starkware/stark/test_utils.h" | |
| #include "starkware/stark/utils.h" | |
| using namespace starkware; | |
| using StarkField252Element = PrimeFieldElement<252, 0>; |
This file contains hidden or 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
| #include "starkware/stark/stark.h" | |
| #include <algorithm> | |
| #include <cstddef> | |
| #include <fstream> | |
| #include <map> | |
| #include <optional> | |
| #include <string> | |
| #include <utility> |
schouhy
/ composition_poly_evaluation.cc
Last active
September 14, 2023 15:48
An example on how to evaluate a composition polynomial in Stone PRover
This file contains hidden or 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
| #include "starkware/stark/stark.h" | |
| #include <algorithm> | |
| #include <cstddef> | |
| #include <fstream> | |
| #include <iostream> | |
| #include <map> | |
| #include <optional> | |
| #include <string> | |
| #include <utility> |
schouhy
/ fibonacci_stone_prover.cc
Created
September 6, 2023 20:58
This file contains hidden or 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
| #include "starkware/stark/stark.h" | |
| #include <algorithm> | |
| #include <cstddef> | |
| #include <fstream> | |
| #include <map> | |
| #include <optional> | |
| #include <string> | |
| #include <utility> |