-
Notifications
You must be signed in to change notification settings - Fork 2
/
ChangeLog
3739 lines (2266 loc) · 114 KB
/
ChangeLog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
2018-06-07 Yoichi Hirai <[email protected]>
2018-06-06 Yoichi Hirai <[email protected]>
* bug: saw the G2 bug fixed on the newest release of Geth
* awesome-evm: adding security paper
2018-06-05 Yoichi Hirai <[email protected]>
* travel: was traveling.
2018-05-15 Yoichi Hirai <[email protected]>
* ../../howm/2018/05/2018-05-15-140141.txt:
2018-05-14 Yoichi Hirai <[email protected]>
* reading: gave a feedback!
* eth-acl2: seen most of it
* yellowpaper: removing a visible LaTeX command
* casper-rv: identifying validators of an epoch in a concrete execution
2018-05-11 Yoichi Hirai <[email protected]>
* reading: still reading something
* bamboo: installed embark (not tried bamboo source yet)
* yellowpaper: answered a question about gas prices of ECADD and ECMUL
2018-05-09 Yoichi Hirai <[email protected]>
* bamboo: wrote more about 0.0.03
* reading: something.
2018-05-08 Yoichi Hirai <[email protected]>
* cpp-ethereum: reviewed 4986
* bamboo: saw 0.0.03 on opam
* casper-rv: listed and ordered the next moves.
* eth-acl2: fixed one issue about signextend
* acl2: learned control-t l (ell), which writes the current region to shell
* yellowpaper: answered some questions on the gitter channel
2018-05-07 Yoichi Hirai <[email protected]>
* bamboo: fixing the opam submission
* acl2: practiced acl2
2018-05-04 Yoichi Hirai <[email protected]>
* yellowpaper: reviewed PR 693
* casper-rv: somehow instantiated the safety proof with lots of axioms
* bamboo: still preparing a new release
* awesome-evm: added ceagle
2018-05-04 Yoichi Hirai <[email protected]>2018-05-03 Yoichi Hirai <[email protected]>
* bamboo: preparing a new release
* eth-isabelle: answered a question
* awesome-evm-list: added flint
* trip: gathering more info
* yellowpaper: reviewed PR 693
* xfce: alt-right button-drag thing. https://superuser.com/a/808567
2018-05-02 Yoichi Hirai <[email protected]>
* trip: planning
* kevm: trying to run the new feature
2018-04-27 Yoichi Hirai <[email protected]>
* trip: checked a few things
* casper-rv: translated a Coq function into Isabelle, the rest is for the next week
2018-04-26 Yoichi Hirai <[email protected]>
* acl2: finished reading http://www.cs.utexas.edu/users/moore/publications/acl2-programming-exercises1.html
* events: sent a bio to CESC
* tests: answered a question https://github.com/ethereumjs/ethereumjs-vm/pull/272#issuecomment-384564902
* casper-rv: translated casper states from Coq to Isabelle
starting the dynamics
* yellowpaper: gave up PR 446 for now
* testeth: adding more words to the readme PR 34
2018-04-25 Yoichi Hirai <[email protected]>
* testeth: filed PR 34. adding more descriptions how to use ctest
* comm: one call
upcoming trips
dropped half of the priority:high tasks into priority:middle
* ocaml-rlp: seems to work with many OCaml versions.
* paper: final touches. cite another paper
2018-04-24 Yoichi Hirai <[email protected]>
* comm: two calls
* cpp-ethereum: reviewed 4971
* paper: fixing small mistakes
2018-04-23 Yoichi Hirai <[email protected]>
* general-merkel
* cpp-ethereum: reviewed 4974
* comm: heard the coredev mtg.
* tests: fixed PR 447
* travel: prepared
2018-04-20 Yoichi Hirai <[email protected]>
* yellowpaper: improved PR 305
* ethereumjs: commented on PR 272
* testeth: rebased PR 28
* tests: implemented DoubleSelfdestructTest2
fixed PR 455, 447
* eth-isabelle: found a test in cpp-ethereum that computes the hash of a transaction
2018-04-19 Yoichi Hirai <[email protected]>
* kevm: saw PR 187. typed exception
* testeth: fixed PR 31, 24
* tests: adding a new test about double selfdestruct by a single contract
* rlp-ocaml: fixed uninstall in `opam` file so that it removes META file
* bamboo: added obsidian into readme
* yellowpaper: investigated PR 305. still discussion with Nick S.
* read: really a nice blog https://raywang.tech/2017/12/20/Formal-Verification:-The-Gap-between-Perfect-Code-and-Reality
about commitment schemes
2018-04-17 Yoichi Hirai <[email protected]>
* testeth: dealt with some Travis trusty change (ported .travis configuration from cpp-ethereum)
adding better error messages
* bamboo: fixed the failing endtoendtest.native on a newer cpp-ethereum (it was a wrong field name in genesis config)
* tests: merged PR 451
* testeth: fixed PR 28
2018-04-16 Yoichi Hirai <[email protected]>
* yellowpaper: reviewed PRs 684 and 685
* bamboo: trying to update cpp-ethereum used for testing the compiler
sketched the format of storage layout information.
* casper-rv: practiced quotient type in Isabelle/HOL
* survey: saw a bit of Adami Chlipala's talk in CCC
* testeth: document in README how to run tests in parallel
* awesome-evm: added eth-acl2
2018-04-13 Yoichi Hirai <[email protected]>
* casper-rv: some discussion about the static data structure.
* read: Victor's supercompilation for free.
* tests: PR 444. removing more tests that use special mock.
* eth-acl2: Kevin told me about it. Spreading rumor to relevant people.
* obsidian
* eth-isabelle: implemented implement hash_of_transaction, to be tested
2018-04-12 Yoichi Hirai <[email protected]>
* read: http://vitalik.ca/general/2017/12/17/voting.html
* casper-rv: checked how Isabelle behaves with rational numbers
porting the Coq model into Isabelle somehow
* comm: meeting with some researchers
* kevm: reviewed https://github.com/kframework/evm-semantics/pull/183
2018-04-11 Yoichi Hirai <[email protected]>
* casper-rv: learned about the tool to be used
got an estimate of the dangerous duration between finalization
read coming model of data structures
* tests: found more VM tests that require mocks
2018-04-10 Yoichi Hirai <[email protected]>
* casper: meeting with RV. rather calm.
* cpp-ethereum: fixed PR 4943
* tests: filed a PR for the first case in issue 431 about double self-destruct
fixed PR 445
2018-04-09 Yoichi Hirai <[email protected]>
* comm: read the script of the last coredev call.
* yellowpaper: fixed PR 391
filed a PR for issue 312
reviewed PR 648
* cpp-ethereum: fixed PR 4943
* bamboo: finally integrated the bamboo-test based on ganache-cli
* ropsten: synced geth with archive mode, to get some traces.
2018-04-06 Yoichi Hirai <[email protected]>
* casper: read RV's casper model in K in development
* tests: filed an issue about fillchain with some unusual block parameters
fixed PR 445
* cpp-ethereum: one thread had two condition variable (Client--Worker), filed a PR unifying these
fixed one threadsanitizer warning
2018-04-05 Yoichi Hirai <[email protected]>
* yellowpaper: removing the dashed lines
* EIPs: fixed PR 689
* survey: installed acl2
I think I have to choose a good first project for acl2.
* cpp-ethereum: shorter response to sigint
* ewasm: read design: should continue
* tests: identified which VM tests to go
2018-04-04 Yoichi Hirai <[email protected]>
* tests: issue 415, started removing VM tests
tried retesteth and filed an issue
* casper: saw the K specs being developed
* eth-isabelle: fixed the build failure of one PR
* EIPs: rebased PR 646
rebased PR 689
* yellowpaper: rebased PR 307
reviewed PR 596
removed my feature branches from ethereum/yellowpaper
* bamboo: rebased PR 263
* sharding: saw sharding phase 1 spec
* awesome-evm: added haskell assembly
* read: saw the program of WTSC 2018
saw "Online Detection of Effectively Callback Free Objects"
* moon: reading a draft containing a type system (Victor is working on), I have to ask something to the author
2018-04-03 Yoichi Hirai <[email protected]>
* env: bought a display for my home office
* awesome-evm: added jsnark (PR by amiller)
* yellowpaper: edit PR 305 as suggested
reviewed PR 679, 579
* tests: adding a test that runs a single REVERT (with the empty stack)
* eth-isabelle: still trying to encode a transaction as an RLP
* survey: Succinct Representation of Concurrent Trace Sets
circles UBI
Holochain
* casper: had a look at https://github.com/ethereum/casper/blob/master/IMPLEMENTATION.md
call with RV
2018-03-29 Yoichi Hirai <[email protected]>
* bamboo: some external comm
* cpp-ethereum: filed a PR to test stShift
* eth-isabelle: trying to add lem-pdf in circleCI, timeout
* paper: polished and submitted
* env: tried k3 mode
* tests: wrote a test case that calls identity precompiled contract, specifying a bigger input than the output
2018-03-28 Yoichi Hirai <[email protected]>
* eth-isabelle: filed a PR adding the termination proof of lexico_order
* casper: checked Isabelle features 'typedef' cannot depend on variables in a locale.
tried instantiating DynamicValidatorSetOneMessage
renamed bwd into rear
* bamboo: defined contract headers in spec
* paper: polishing
2018-03-27 Yoichi Hirai <[email protected]>
* casper: meeting with RV
* pos: merged a PR
* isabelle: figured out 'function' requires termination proof.
* paper: polishing.
2018-03-26 Yoichi Hirai <[email protected]>
* yellowpaper: adding shifts
* pm: commented.
* casper: commented on a Coq model
* pos: renamed variables v into epoch
* testeth: removing hera dependency. maybe easier docker build.
* paper: filling more literature
* kevm: saw the ERC 20 verification
2018-03-23 Yoichi Hirai <[email protected]>
* tests: fixed PR 424 about arithmetic shifting
* paper: polishing
2018-03-22 Yoichi Hirai <[email protected]>
* casper: explaining stuff
* paper: small improvements
* tests: fixed PR 423
2018-03-21 Yoichi Hirai <[email protected]>
* casper: changing type variables in the Isabelle proof
* ../../howm/2018/03/2018-03-21-111102.txt: some inter communication
2018-03-20 Yoichi Hirai <[email protected]>
* ../paper-compare-tools/paper/paper.tex: corrected typos, filled more sentences into discussion.
* cpp-ethereum: explaining selfdestruct(this) better
2018-03-19 Yoichi Hirai <[email protected]>
* awesome EVM list: added echdna into the list
* casper: seeking assumptions
* tests: travis fails when there are multiple fields of the same name in a JSON object
* paper: still debugging
* comm: joined a new channel
* cryptoeconomics: spreading the word
2018-03-16 Yoichi Hirai <[email protected]>
* casper: understood how validator ratios change
* wasm-semantics: reviewed PR 10
* awesome-EVM-list: added zokrates and snarky
tried Echidna
2018-03-15 Yoichi Hirai <[email protected]>
* bamboo: fixing the build system
* paper: still filling in
* runtimeverification: a meeting
2018-03-14 Yoichi Hirai <[email protected]>
* eth-isabelle: checked how to encode crypto parameters in a transaction
* paper: fixing
2018-03-13 Yoichi Hirai <[email protected]>
* yellowpaper: filed two small PRs for typography
reviewed #596 and #597
* paper: filling more and more
* tests: filed a PR about calling identity builtin with a bigger output size than input
2018-03-07 Yoichi Hirai <[email protected]>
2018-03-06 Yoichi Hirai <[email protected]>
* tests: decided on the format of test names
* eth-isabelle: sha3_update problem. code generation is not working with a 'function' definition.
* cedille: tested a bit
* paper: filling more and more
* bamboo: a call with some contributors
2018-03-05 Yoichi Hirai <[email protected]>
* yellowpaper: merged two PRs about elliptic curves, backporting to EIP
* tests: adding test cases for bit shifting
2018-02-14 Yoichi Hirai <[email protected]>
2018-02-13 Yoichi Hirai <[email protected]>
* ethresearch: looked at the ring-signature based block production proposal
2018-02-12 Yoichi Hirai <[email protected]>
* tests: modified ethereum/tests a bit
* testeth: worked on issue 4
2018-02-08 Yoichi Hirai <[email protected]>
2018-02-07 Yoichi Hirai <[email protected]>
* testeth: set up circle CI in testeth repository
2018-02-06 Yoichi Hirai <[email protected]>
* meeting
2018-02-05 Yoichi Hirai <[email protected]>
* meeting
2018-02-02 Yoichi Hirai <[email protected]>
* sharding: impurity checker should also check GAS instruction, filed a PR.
2018-02-01 Yoichi Hirai <[email protected]>
* read: stateless client thing
sharding spec
2018-01-31 Yoichi Hirai <[email protected]>
* yellowpaper: answered issue 517 about ethash
fixed my PR 443, 446, 323, 307, 303
2018-01-30 Yoichi Hirai <[email protected]>
* yellowpaper: reviewed some PRs
* cpp-ethereum: reviewed 4809
* tests: documented difficulty tests
added a test case about modexp with modlen = 999188
* comm: brainstormed for Friday's interview
2018-01-29 Yoichi Hirai <[email protected]>
* yellowpaper: reviewed many PRs.
2018-01-26 Yoichi Hirai <[email protected]>
* paper: figured that availability is important
* cpp-ethereum: reviewed PR 4809
* kevm: trying to run the blockchain tests. filed one issue.
2018-01-25 Yoichi Hirai <[email protected]>
* comm: some survey on ACL2
* cpp-ethereum: started experimenting the geth rule
reviewed PR 841
* bamboo: a little bit of specification
* EIPs: reviewed some EIPs
reviewed 831
* idris: read the Idris book 5.3
2018-01-24 Yoichi Hirai <[email protected]>
* bamboo: PR 260, discussed how to proceed
* cpp-ethereum: reviewed PR 4783, 4804
* EIPs: reviewed EIP-831
* comm: edited the formal verification overview page a bit
read about ERC777.
read about BIP32.
paper, defined missing macros
* yellowpaper: reopened PR 438 in a right branch
fixed PR 302
reviewed some PRs
2018-01-23 Yoichi Hirai <[email protected]>
* tests: filed a PR about RETURNDATASIZE/RETURNDATACOPY after CREATE (from init code) that fails for a REVERT with nonempty data
* cpp-ethereum: fixed one bug introduced recently
* comm: paper, writing a bit more.
2018-01-22 Yoichi Hirai <[email protected]>
* yellowpaper: moving PRs from master to frontier.
* bamboo: a little bit of specification
* tests: found a problem in testeth. bisecting.
* cpp-ethereum: bisecting a problem in testeth
* comm: changed the topic of the paper.
2018-01-19 Yoichi Hirai <[email protected]>
* yellowpaper: last minute fixes
2018-01-18 Yoichi Hirai <[email protected]>
* comm: the paper reviews are done
* paper: wrote a bit more
* yellowpaper: merged 407
* eth-isabelle: fixed PR 477
2018-01-17 Yoichi Hirai <[email protected]>
* comm: some internal communication
some paper reviews
* cpp-ethereum: reivewed PR 4777
* yellowpaper: changed target branches of my PRs from metropolis to master
2018-01-16 Yoichi Hirai <[email protected]>
* comm: some internal communications
* cpp-ethereum: reviewed PR 4771, 4766, 4731
* EIPs: reviewed PR 831
* paper: setting up style files.
* tests: some discussion about reducing the number of tests
reviewed PR 389
* yellowpaper: try to add a branch table in YP
2018-01-15 Yoichi Hirai <[email protected]>
* plan: filtered most of middle-priority tasks into low-priority
planned paper writing.
* comm: tried Pyramid Scheme
2018-01-05 Yoichi Hirai <[email protected]>
* metamath: got an idea how it would work.
* homestead-guide: merged a lot.
* comm: ACL2, walking tour http://www.cs.utexas.edu/users/moore/acl2/v8-0/combined-manual/index.html?topic=ACL2____A_02Walking_02Tour_02of_02ACL2
2018-01-04 Yoichi Hirai <[email protected]>
* tests: reviewed PR 388
* EIPs: reviewed 9 PRs.
* bamboo: rpc 2.2.0 and 2.0.0--2.0.0 had an opam packaging problem. 2.2.0 has a runtime issue, endToEnd.native hungs.
* comm: Moon
2018-01-03 Yoichi Hirai <[email protected]>
* cpp-ethereum: reviewed PR 4710
* bamboo: a little bit of specification
* eth-isabelle: a little bit of rlp encoding
* comm: provided a bit of opinion about CBC sharding formulation
* awesome-ethereum-virtual-machine: added sputter
* bamboo: reported a build failure of ocaml-rpc
https://github.com/mirage/ocaml-rpc/issues/70
2018-01-02 Yoichi Hirai <[email protected]>
* bamboo: wrote a bit of specification
* KEVM: got PR 99 merged.
* awesome-ethereum-virtual-machine: added ethersplay and Manticore
* eth-isabelle: fixed PR 473.
* EIPs: reviewed PR 627, PR 808, PR 758, PR 801
learned about JSON RPC subscriptions
* simple-plasma: refining challengeWithdrawal function
* cpp-ethereum: reviewed PR 4735
* comm: checked https://eprint.iacr.org//2017/878
watched Griffith's talk in Devcon3.
week in ethereum news
* tests: adding a test case that tries RETURNDATACOPY and RETURNDATASIZE after a REVERT during a CALLCODE
reviewed #381
2017-12-21 Yoichi Hirai <[email protected]>
* cpp-ethereum: reviewing 4710
2017-12-20 Yoichi Hirai <[email protected]>
* simpleplasma: modeling submitBlockHeader
started modeling the second and the third claims
* cpp-ethereum: reviewed PR 4712
2017-12-19 Yoichi Hirai <[email protected]>
* comm: wrote about EIPs and eth-isabelle in the roundup draft.
* EIPs: reviewed PR 758
* cpp-ethereum: reviewed PR 4698 and 4670 a bit.
* eth-isabelle: fix build on execute-blockchain-test branch
2017-12-18 Yoichi Hirai <[email protected]>
* eth-isabelle: fix build
* tests: reviewed PR 382
* simpleplasma: filling in missing definitions
* safeInteger: found a nice lemma in Isabelle
(sint ?x + sint ?y = sint (?x + ?y)) = ((?x + ?y XOR ?x) AND (?x + ?y XOR ?y) >> size ?x - 1 = 0)
2017-12-15 Yoichi Hirai <[email protected]>
* casper: https://www.youtube.com/watch?v=uQ3IqLDf-oo
2017-12-14 Yoichi Hirai <[email protected]>
* kevm: identified two most important questions.
* eth-isabelle: solved many build issues.
* env: dist-upgrade in order to solve the secp256k1-ml build issue
* tests: adding a test cases about RETURNDATACOPY after DELEGATECALL.
* bamboo: compiled vault.bbo into EVM bytecode readable from Isabelle.
a little bit of specification.
* ../practice/simple_plasma/SimplePlasma.v: first formulation of the first claim with lots of holes. Maybe I should fill in holes, or maybe I should cover the second and the third claims in a patchy way first.
* eth-isabelle: fixed the compilation of OCaml code in the branch execute_blockchain_test
2017-12-13 Yoichi Hirai <[email protected]>
* eth-isabelle: implemented RLP encoding of nonces (just using bigint encoding)
found a linker error for secp256k1.
found Travis fails on secp256k1-ml repository.
* coredevcall: some coordination
* EIPs: reviewed PR 597.
* KEVM: finished reading evm.md I should still sort notes for importance.
* comm: somehow reading a paper, preparing for a meeting.
2017-12-12 Yoichi Hirai <[email protected]>
* KEVM: still reading evm.md collecting questions.
* sharding: got an answer to the GitHub issue I raised yesterday
* cpp-ethereum: reviewed PR 4694
* EIPs: reviewed PR 796. No comments on 797.
* solidity: reviewed PR 3203
continued reviewing PR 3120
2017-12-08 Yoichi Hirai <[email protected]>
* solidity: reviewed one or two PRs
* cpp-ethereum: reviewed 4652
* eips: reviewed some more eips
* kevm: still reading
wondered if there is a test that supplies just six arguments to STATICCALL; turned out there is.
2017-12-07 Yoichi Hirai <[email protected]>
* eth-isabelle: CI fixed on master.
* read: 0x, mechanism design, hydra, statebox, ztrust.tech, SEP logic and games, metamath. ERC20-K, finite fields.
* bamboo: planned vault.bbo verification.
small progress on the specification.
* test: adding two GeneralStateTests about RETURNDATACOPY after REVERT in a staticcall.
2017-12-06 Yoichi Hirai <[email protected]>
* eth-isabelle: fixing the CI build on master
* test: adding one GeneralStateTest about RETURNDATACOPY after REVERT in an init code.
* math: started reading the finite field book
* bamboo: small progress on the specification.
* meta: updated the project list.
KEVM thing and Plasma thing are the top.
2017-12-05 Yoichi Hirai <[email protected]>
* awesome-ethereum-virtual-machine: removed a deprecated project from the list
* cpp-ethereum: reviewing PR 4678
* EIPs: submitted a PR #790
* plasma: somehow seeing the final picture.
2017-12-04 Yoichi Hirai <[email protected]>
* cpp-ethereum: reviewing 4664.
* ../practice/simple_plasma/SimplePlasma.v: trying to model Merkle trees in Coq (axiomatically)
* casper: reading the CBC casper draft. Now I understand what those simulations were.
* comm: understood k-bucket algorithms
sent an email to KEVM maintainer
* EIPs: mainly working on PRs 212 and 214.
2017-12-01 Yoichi Hirai <[email protected]>
* cpp-ethereum: reviewed 4637
* EIPs: some editing.
pushing for more CC0.
* casper: casper economics basics, continued reading.
* KEVM: listened to more tutorial videos
* bamboo: a little bit of spec writing
implemented stack overflow detection
thought about delegatingcall; no plans to use it at the moment
2017-11-30 Yoichi Hirai <[email protected]>
* casper: finished accountable safety on dynamic validator sets somehow
* EIPs: #206, some bureaucratic changes
EIP #462, some formalities
EIP #658, some formalities
EIP #198, some formalities
* cpp: reviewing #4664
2017-11-29 Yoichi Hirai <[email protected]>
* recovering: worked at home
* cpp-ethereum: reviewed 4658, 4654
* casper: continuing with a stricter double_vote rule.
2017-11-28 Yoichi Hirai <[email protected]>
* sick: spent in bed
2017-11-27 Yoichi Hirai <[email protected]>
* EIPs: tried to finalize PR 198, but noticed a copyright problem.
* academic: performed paper reviews
* cpp-ethereum: andrei finished 4579.
reviewing 4625, 4658
* casper: the proof got stuck about accountable safety with dynamic validator set. Asked a question with a counterexample.
2017-11-24 Yoichi Hirai <[email protected]>
* casper: spent the whole week on the accountable safety proof with dynamic validator sets and one-message protocol.
2017-11-20 Yoichi Hirai <[email protected]>
2017-11-17 Yoichi Hirai <[email protected]>
* comm: got EIPs editorship. Going around EIPs in a round-robin manner.
Still reading the Reed-solomon proximity proof paper.
Read Week in Ethereum News.
* casper: got answers to my questions. Somehow convinced those rules work.
Adjusted statements and definitions.
Figured that the chosen next validator set can change from checkpoints to checkpoints.
2017-11-16 Yoichi Hirai <[email protected]>
* tests: reviewed one test PR
* casper: stuck in the dynamic validator set case, started asking questions.
2017-11-15 Yoichi Hirai <[email protected]>
* comm: read a draft about blockchain governance.
reading a draft.
* casper: made some progress in dynamic validator set with one-message CFG (in Isabelle)
2017-11-14 Yoichi Hirai <[email protected]>
* cpp-ethereum: filed a fix to issue 4642.
* bamboo: added default methods to vault.bbo
* comm: had a look at laser-ethereum
added laser-ethereum to awesome-ethereum-virtual-machine list
spent some time reading early crypto writings.
Fast Reed Solomon Interactive Oracle Proofs of Proximity: noticed I need the FFT thing.
answered people interested in formal methods, where to start https://yoichihirai.com/fm.html
deflected an interview request.
* casper: defined a fork in the dynamic-validator one-message setting
2017-11-13 Yoichi Hirai <[email protected]>
* comm: reading mythril
* tests: confirmed that a test case is already in the repository
https://docs.google.com/spreadsheets/d/1xat7UI8GtB4ZGVdlK5_XQSHJZaMThi4SrlcL8XMZb5Q/edit#gid=1605675414&range=D48
2017-11-10 Yoichi Hirai <[email protected]>
* comm: checked what moon-browser is
saw a demo of moon at Devcon3
skimmed ethereumresearch discourse pages
"hello PLT researchers" document, thought about it a bit.
explored a bit of the research github repos.
2017-11-09 Yoichi Hirai <[email protected]>
* bamboo: created an issue about call x then become A().
* env: recovering from jet-lag and a 44 hour trip
* comm: was in Devcon3
checked https://edwinb.wordpress.com/2016/10/21/state-machines-all-the-way-down/ kind of ideal for implementing RDBMS
watched https://www.youtube.com/watch?v=6JZgCuRrtyo
2017-10-26 Yoichi Hirai <[email protected]>
* bamboo: fix PR 226
* cpp-ethereum: review PRs 4625, 4627
* comm: preparing cancun slides. practiced one talk
reading a mathematical draft
got the idea of stateless client
* EVM-awesome: edited a bit.
2017-10-25 Yoichi Hirai <[email protected]>
* env: updated some of my nodes.
* cpp-ethereum: reviewed PR 4627
* bamboo: in the specification, writing how to evaluate array access expressions.
* eth-isabelle: saw a PR error, but could not reproduce locally.
* test: a new case about calling modexp with modsize=1 and checking the return size.
reviewed PR 365
* comm: preparing cancun slides. One more talk.
* casper: slowly defining things in one-message casper with dynamic validator sets.
2017-10-24 Yoichi Hirai <[email protected]>
* cpp-ethereum: rebased PR 4610, rebased PR 4579
* comm: preparing cancun slides.
thought a bit about counterfactual deployment. Ah, the cost of exodus is better with Plasma, maybe.
* eth-isabelle: updating README about the Isabelle version
closed issue 431
* bamboo: a bit of specification: contracts.
* comm: read "An Empirical Study on the Correctness of Formally Verified..."
very interesting. Don't believe UDP packets arrive. System programming is hard.
Added a link to the README of Bamboo, to a blog post about implementing a vault.
* casper: started the safety proof for dynamic validator sets for the one-message protocol.
2017-10-23 Yoichi Hirai <[email protected]>
* plasma: had a brief look at the simple plasma document.
* eth-isabelle: started HoareWithInvariant.thy
* comm: worked more on the Cancun slides
wrote a snapshot post
read vlad's casper paper