Paul Steckler psteckler
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
| diff processor.ml processor_1-3-1-2.ml | |
| 9c9 | |
| < open Mina_block | |
| --- | |
| > open Mina_transition | |
| 1369,1377d1368 | |
| < let global_slot_since_hard_fork = | |
| < Consensus.Data.Consensus_state.curr_global_slot consensus_state | |
| < |> Unsigned.UInt32.to_int64 | |
| < in |
psteckler
/ parties0.json
Created
February 12, 2022 01:36
Two parties to create snapp account, update states
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
| { | |
| "fee_payer": { | |
| "data": { | |
| "body": { | |
| "public_key": | |
| "B62qjJwgq7kNXYHXQsMeyiMWL7fHsnPeuAiPfYd3yTor3eKpK8VV1gG", | |
| "update": { | |
| "app_state": [ | |
| [ "Keep" ], | |
| [ "Keep" ], |
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
| {snappFeePayer: {authorization: "7mXNiius9LJidXL1zLJvUqPrzwmwNeZY7ZhuZGtL84zT16ToXGassr9G9vAP2c6QyBNvT4um42AYJ1sVgeNuadBy6KyWNwMV", data: {predicate: "0", body: {depth: "0", | |
| call_data: "0x0000000000000000000000000000000000000000000000000000000000000000", rollup_events: [], events: [], delta: {sgn: MINUS, magnitude: "15000000000"}, token_id: "1", | |
| update: {timing: {set_or_keep: Keep}, token_symbol: {set_or_keep: Keep}, snapp_uri: {set_or_keep: Keep}, permissions: {set_or_keep: Keep}, verification_key: {set_or_keep: Keep}, | |
| delegate: {set_or_keep: Keep}, app_state: [{set_or_keep: Keep}, {set_or_keep: Keep}, {set_or_keep: Keep}, {set_or_keep: Keep}, {set_or_keep: Keep}, {set_or_keep: Keep}, {set_or_keep: Keep}, {set_or_keep: Keep}]}, | |
| pk: "B62qiy32p8kAKnny8ZFwoMhYpBppM1DWVCqAPBYNcXnsAHhnfAAuXgg"}}}, snappOtherParties: {authorization: {proof_or_signature: None_given}, data: {predicate: {full_or_nonce_or_accept: Accept}, | |
| body: {depth: "0", call_data: "0x0000000000000000000000000000000000000000000000000000000000000000 |
psteckler
/ do_total.sh
Created
August 26, 2021 21:48
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
| #!/bin/bash | |
| START_BLOCK="TBD" | |
| END_BLOCK="TBD" | |
| PK="TBD" | |
| rm -f total.ml | |
| cat <<EOF > total.ml | |
| let run nums = |
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
| {gsub("\\.","",$4);printf(";(%d,%sL)\n",$1,$4)} |
psteckler
/ cummulative.awk
Created
August 26, 2021 21:42
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
| BEGIN { CUM_LINE=0 } | |
| (match ($0,"Cummulative")) { INCUM = 1; CUM_LINE = 1 } | |
| ($0=="") { INCUM = 0 } | |
| (INCUM==1) { if (!CUM_LINE) { print $0 }; CUM_LINE=0 } |
psteckler
/ gist:c7b37dad41040ab5b005a49325ceabce
Created
July 2, 2021 01:17
This file has been truncated, but you can view the full file.
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
| { | |
| "layout_loc": | |
| "File \"src/lib/mina_networking/mina_networking.ml\", line 269, characters 8-110:", | |
| "version_opt": null, | |
| "type_decl": "type response = External_transition.Stable.V1.t list option", | |
| "bin_io_derived": true, | |
| "bin_prot_rule": [ | |
| "Option", | |
| [ | |
| "List", |
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
| src/app/cli/src/client.ml: let fail err = eprintf "%s\n" err ; exit 1 in | |
| src/app/cli/src/client.ml: | Ok res -> printf "%s\n" res ; Deferred.unit | |
| src/app/cli/src/client.ml: | Ok () -> printf "Daemon stopping\n" | |
| src/app/cli/src/client.ml: printf "Daemon likely stopped: %s\n" (Error.to_string_hum e) )) | |
| src/app/cli/src/client.ml: | Ok (Some b) -> printf "%s\n" (Currency.Balance.to_string b) | |
| src/app/cli/src/client.ml: printf "No account found at that public_key (zero balance)\n" | |
| src/app/cli/src/client.ml: printf "Failed to get balance %s\n" (Error.to_string_hum e) )) | |
| src/app/cli/src/client.ml: | Ok (Ok ()) -> printf "Payment is valid on the existing blockchain!" | |
| src/app/cli/src/client.ml: | Error e | Ok (Error e) -> eprintf "%s" (Error.to_string_hum e) )) | |
| src/app/cli/src/client.ml: eprintf "Failed to get nonce: %s\n" e ; |
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
| src/app/cli/src/client.ml: let fail err = eprintf "%s\n" err ; exit 1 in | |
| src/app/cli/src/client.ml: | Ok res -> printf "%s\n" res ; Deferred.unit | |
| src/app/cli/src/client.ml: | Ok () -> printf "Daemon stopping\n" | |
| src/app/cli/src/client.ml: printf "Daemon likely stopped: %s\n" (Error.to_string_hum e) )) | |
| src/app/cli/src/client.ml: | Ok (Some b) -> printf "%s\n" (Currency.Balance.to_string b) | |
| src/app/cli/src/client.ml: printf "No account found at that public_key (zero balance)\n" | |
| src/app/cli/src/client.ml: printf "Failed to get balance %s\n" (Error.to_string_hum e) )) | |
| src/app/cli/src/client.ml: | Ok (Ok ()) -> printf "Payment is valid on the existing blockchain!" | |
| src/app/cli/src/client.ml: | Error e | Ok (Error e) -> eprintf "%s" (Error.to_string_hum e) )) | |
| src/app/cli/src/client.ml: eprintf "Failed to get nonce: %s\n" e ; |