hugoroussel
/ BalelecTrustFund.sol
Created
March 4, 2019 14:02
This file contains 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
| pragma solidity 0.4.24; | |
| contract BalelecTrustFund { | |
| address owner; | |
| uint256 public minDeposit; | |
| mapping (address => uint256) balances; | |
| Logger public TrustLog; | |
| constructor(uint256 _minDeposit, address _logger) public payable { | |
| owner = msg.sender; |
hugoroussel
/ output
Created
January 25, 2019 09:08
This file contains 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
| ➜ byzcoin git:(master) ✗ go test | |
| 1!: ( byzcoin.TestEVMContract_Spawn: 22) - test: instance creation | |
| 1!: ( byzcoin.TestEVMContract_Invoke_Display: 44) - test: displaying account | |
| 1!: ( byzcoin.(*contractBvm).Invoke: 98) - 0x2afd357E96a3aCbcd01615681C1D7e3398d5fb61 balance 0 | |
| 1!: ( byzcoin.(*contractBvm).Invoke: 98) - 0x2afd357E96a3aCbcd01615681C1D7e3398d5fb61 balance 0 | |
| 1!: ( byzcoin.(*contractBvm).Invoke: 98) - 0x2afd357E96a3aCbcd01615681C1D7e3398d5fb61 balance 0 | |
| 1!: ( byzcoin.TestEVMContract_Invoke_Credit: 63) - test: crediting an account | |
| 1!: ( byzcoin.(*contractBvm).Invoke: 120) - 0x2afd357E96a3aCbcd01615681C1D7e3398d5fb61 balance credited 1 | |
| 1!: ( byzcoin.(*contractBvm).Invoke: 120) - 0x2afd357E96a3aCbcd01615681C1D7e3398d5fb61 balance credited 1 | |
| 1!: ( byzcoin.(*contractBvm).Invoke: 120) - 0x2afd357E96a3aCbcd01615681C1D7e3398d5fb61 balance credited 1 |
hugoroussel
/ output_credit
Created
January 24, 2019 14:47
This file contains 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
| ➜ byzcoin git:(master) ✗ go test -run Credit | |
| 1!: ( byzcoin.TestEVMContract_Invoke_Credit: 63) - test: crediting an account | |
| 1!: ( byzcoin.(*contractBvm).Invoke: 120) - value requested : 1 : 0x2afd357E96a3aCbcd01615681C1D7e3398d5fb61 balance credited 1 | |
| 1!: ( byzcoin.(*contractBvm).Invoke: 120) - value requested : 1 : 0x2afd357E96a3aCbcd01615681C1D7e3398d5fb61 balance credited 1 | |
| 1!: ( byzcoin.(*contractBvm).Invoke: 120) - value requested : 1 : 0x2afd357E96a3aCbcd01615681C1D7e3398d5fb61 balance credited 1 | |
| tcp://127.0.0.1:57418 Contract bvm got Instruction instr: 5dfe66ea6384c9acff30442f0f26d4d11f2f88cd2bfa500e5944211cbde40d9c | |
| instID: 7824b574c5e0acd2f180385e971e14856b53547bc9f81e8d406601e4c100366b | |
| action: invoke:display | |
| counters: [2] | |
| signatures: 1 |
hugoroussel
/ output_credit
Created
January 24, 2019 10:13
This file contains 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
| === RUN TestEVMContract_Invoke_Credit | |
| 1!: ( byzcoin.TestEVMContract_Invoke_Credit: 63) - test: crediting an account | |
| 1 : ( onet.(*Server).Start: 213) - Starting server at 2019-01-24 11:02:53 on address tcp://127.0.0.1:52909 with public key 10019de26075fb5009d31849d3e3cb0c925264576a23ddb152e652bf144c8898 | |
| 2 : ( onet.(*WebSocket).start: 104) - Starting to listen on 0.0.0.0:52910 | |
| 1 : ( network.(*Router).Start: 102) - New router with address tcp://[::]:52909 and public key 10019de26075fb5009d31849d3e3cb0c925264576a23ddb152e652bf144c8898 | |
| 1 : ( onet.(*Server).Start: 213) - Starting server at 2019-01-24 11:02:53 on address tcp://127.0.0.1:52911 with public key 32ab31d7fd060584fd7ebeff6643f61ad4a5c48e8d9978cebdb904cb33c8ffe9 | |
| 2 : ( onet.(*WebSocket).start: 104) - Starting to listen on 0.0.0.0:52912 | |
| 1 : ( network.(*Router).Start: 102) - New router with address tcp://[::]:52911 and public key 32ab31d7fd060584fd7ebeff |
This file contains 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
| ➜ byzcoin git:(master) ✗ go test -run Invoke_Credit -v | |
| === RUN TestEVMContract_Invoke_Credit | |
| 1!: ( byzcoin.TestEVMContract_Invoke_Credit: 65) - test: crediting an account | |
| 1 : ( onet.(*Server).Start: 213) - Starting server at 2019-01-21 17:49:04 on address tcp://127.0.0.1:50131 with public key a4afea20f62fc75bcfac8646d57def36900e5a9e3fb6717fccc6e684cc0033d3 | |
| 2 : ( onet.(*WebSocket).start: 104) - Starting to listen on 0.0.0.0:50132 | |
| 1 : ( network.(*Router).Start: 102) - New router with address tcp://[::]:50131 and public key a4afea20f62fc75bcfac8646d57def36900e5a9e3fb6717fccc6e684cc0033d3 | |
| 1 : ( onet.(*Server).Start: 213) - Starting server at 2019-01-21 17:49:04 on address tcp://127.0.0.1:50133 with public key 729b440ab0f599d84f46b793aee040c17ad47e07b72c83229d19010e97dee071 | |
| 2 : ( onet.(*WebSocket).start: 104) - Starting to listen on 0.0.0.0:50134 | |
| 1 : ( network.(*Router).Start: 102) - New router with address |
hugoroussel
/ Output
Created
December 3, 2018 08:56
This file contains 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
| go test -run Spawn -v | |
| === RUN TestEVMContract_Spawn | |
| 1!: ( byzcoin.TestEVMContract_Spawn: 25) - test: instance creation | |
| 1 : ( onet.(*Server).Start: 226) - Starting server at 2018-12-03 09:51:09 on address tcp://127.0.0.1:38621 with public key c48920af1c934f39112343632696ffb2ac6557ad35afc4398e0c28ef6efb2ec0 | |
| 2 : ( onet.(*WebSocket).start: 104) - Starting to listen on 0.0.0.0:38622 | |
| 1 : ( network.(*Router).Start: 102) - New router with address tcp://[::]:38621 and public key c48920af1c934f39112343632696ffb2ac6557ad35afc4398e0c28ef6efb2ec0 | |
| 1 : ( onet.(*Server).Start: 226) - Starting server at 2018-12-03 09:51:09 on address tcp://127.0.0.1:36473 with public key 644368d84aee2be76dcc5d730da000f0beed28eb04e3048d14cdba573bd51a69 | |
| 2 : ( onet.(*WebSocket).start: 104) - Starting to listen on 0.0.0.0:36474 | |
| 1 : ( network.(*Router).Start: 102) - New router with address tcp://[::]:36473 and public key 644368d84aee |
hugoroussel
/ bvmContract_test.go
Created
December 1, 2018 15:27
This file contains 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
| package byzcoin | |
| import ( | |
| "github.com/ethereum/go-ethereum/accounts/abi" | |
| "math/big" | |
| "strings" | |
| "testing" | |
| "time" | |
| "github.com/dedis/onet/log" |
hugoroussel
/ bvmContract.go
Created
December 1, 2018 15:27
This file contains 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
| package byzcoin | |
| import ( | |
| "errors" | |
| "github.com/ethereum/go-ethereum/core" | |
| "github.com/ethereum/go-ethereum/core/types" | |
| "github.com/ethereum/go-ethereum/core/vm" | |
| "math/big" | |
| "strconv" |
hugoroussel
/ bash
Created
November 15, 2018 11:19
This file contains 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
| ➜ minimumToken git:(master) ✗ smart *.scala --solvers=smt-cvc4 --strict-arithmetic | |
| [Warning ] Parallelism is disabled. | |
| [Warning ] warning: there were two feature warnings; re-run with -feature for details | |
| [Warning ] The 'cvc4' binary is not available. Falling back onto nativez3. | |
| [ Info ] - Checking cache: 'match exhaustiveness' VC for sumBalances @13:93... | |
| [ Info ] Cache hit: 'match exhaustiveness' VC for sumBalances @13:93... | |
| [ Info ] - Checking cache: 'integer overflow' VC for sumBalances @15:24... | |
| [ Info ] Cache miss: 'integer overflow' VC for sumBalances @15:24... | |
| [ Info ] - Now solving 'integer overflow' VC for sumBalances @15:24... | |
| [ Info ] - Result for 'integer overflow' VC for sumBalances @15:24: |
hugoroussel
/ bash-output.txt
Created
October 7, 2018 18:27
This file contains 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
| go-ethereum hugo$ make geth | |
| build/env.sh go run build/ci.go install ./cmd/geth | |
| >>> /usr/local/Cellar/go/1.11.1/libexec/bin/go install -ldflags -X main.gitCommit=f95811e65bcc674ae32c19c043b29226a56a6a5f -s -v ./cmd/geth | |
| github.com/ethereum/go-ethereum/vendor/github.com/elastic/gosigar | |
| github.com/ethereum/go-ethereum/crypto/secp256k1 | |
| github.com/ethereum/go-ethereum/vendor/github.com/rjeczalik/notify | |
| github.com/ethereum/go-ethereum/vendor/github.com/karalabe/hid | |
| github.com/ethereum/go-ethereum/vendor/gopkg.in/olebedev/go-duktape.v3 | |
| # github.com/ethereum/go-ethereum/vendor/github.com/elastic/gosigar | |
| vendor/github.com/elastic/gosigar/sigar_darwin.go:6:10: fatal error: 'stdlib.h' file not found |
NewerOlder