Brandon R b-j-roberts
b-j-roberts
/ citrea-risc0-to-bitvm-circuit_attestation.log
Created
October 29, 2025 02:14
Attestation for Citrea Risc0 to BitVM Circuit 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 b-j-roberts-54774639 and I have contributed to the Citrea Risc0 to BitVM Circuit MPC Phase2 Trusted Setup ceremony. | |
| The following are my contribution signatures: | |
| Circuit # 1 (verify_for_guest) | |
| Contributor # 60 | |
| Contribution Hash: c516e7e7 cd356130 8abacc1a fa7a1f5f | |
| 19f2c155 4b99381e f8fe11af c24fad9e | |
| 66c700ad e8520a68 7f387da7 c4e44ae3 | |
| 3af3ee3a ee5a5935 86217c36 6ce3dc50 |
b-j-roberts
/ coc-settings.json
Last active
January 30, 2024 19:25
Cairo Language Server in CoC using Scarb
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
| { | |
| "languageserver": { | |
| "cairo1": { | |
| "enable": true, | |
| "command": "scarb", | |
| "args": ["cairo-language-server"], | |
| "filetypes": ["cairo"], | |
| "rootPatterns": ["Scarb.toml", ".git/"] | |
| } | |
| } |
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
| " Vim syntax file | |
| " | |
| " Language: CAIRO | |
| if exists("b:current_syntax") | |
| finish | |
| endif | |
| syntax include @python syntax/python.vim |