# Ethereum Dev Roundup: Q1 (Boring Edition)

** 역주: 비탈릭이 이 글을 지루한 버전 (Boring Edition) 이라고 한 것은 4월1일 만우절 버전으로 평양에서 데브콘 개최한다는 포스팅의 후속 포스팅이기 때문.

https://blog.ethereum.org/2017/04/07/ethereum-dev-roundup-q1-boring-edition/
Posted by Vitalik Buterin on April 7th, 2017.

지난 한달반 동안 이더리움 연구는 매우 큰 진척을 이루어 내었고, 프로토콜이 주류로서 받아들이게 되는 데 한발 더 다가섰습니다. 컨센서스 알고리즘, 개인 정보 보호, 무 지식 증명 및 공식 검증(formal verification) 에 대한 발전이 점점 더 가속화되고 있으며 연구 및 개발 팀이 크게 확대되고 있습니다.

캐스퍼(Capser) 연구도 많이 진척되었는데, 알고리듬에 대한 Medium 포스팅들을 참조해보세요.

https://medium.com/@VitalikButerin/minimal-slashing-conditions-20f0b500fc6c
https://medium.com/@VitalikButerin/safety-under-dynamic-validator-sets-ef0c3bbdf9f6

그리고 Yoichi 의 블로그 포스팅들 

https://medium.com/@pirapira/formal-methods-on-some-pos-stuff-e309775c2ab8
https://medium.com/@pirapira/a-mechanized-safety-proof-for-pos-with-dynamic-validators-17e9b45faff4
https://medium.com/@pirapira/fixing-safety-proof-on-dynamic-validator-pos-5d8d463d8ae8

“Vlad Casper” 글들

https://medium.com/@pirapira/formal-methods-on-another-casper-8a75f6e02073

그리고 캐스퍼는 이미 단순한 이론의 수준을 벗어났습니다. 

캐스퍼 컨트택트와 테스트 스크립트: https://github.com/ethereum/research/blob/master/casper4
Karl Floersch에 의한 데몬 작업: https://github.com/karlfloersch/simplecasper

캐스퍼와 샤딩(sharding) 에 대한 진척도, 문서로 정리될 수 있는 정도로 안정화가 이루어지면 곧 퍼블리싱할 것입니다. 하이레벨 수준에서 상세한 부분들이 이미 결정되었고, 캐스퍼 컨트랙트의 디자인과 관련된 세부사항들에 대한 논의가 진행 중입니다.

Vlad 의 몇가지 다른 블로그 포스트

Dealing with Failure in Cryptocurrency: https://medium.com/@Vlad_Zamfir/dealing-with-failure-in-cryptocurrency-463475da83e5
Simple model of an “internal” PoW attacker: https://medium.com/@Vlad_Zamfir/simple-model-of-an-internal-pow-attacker-1a713cf00672
A post agitating for smaller block rewards: https://medium.com/@Vlad_Zamfir/the-case-for-smaller-block-rewards-fb0eab38e15c ; see also Reddit thread and Carbonvote

ENS (이더리움 네임 서비스)에 버그가 있어서 출시 연기가 되었습니다. 보안 감사가 실행되었고, 감사가 끝났기 때문에 곧 재론칭 될 예정입니다.

https://github.com/ethereum/ens/issues/96
https://github.com/ethereum/ens/issues/97

formal proving 에 대한 업데이트:

https://medium.com/@pirapira/ethereum-virtual-machine-for-coq-v0-0-2-d2568e068b18
EVM formal provers can now run state tests: https://github.com/pirapira/eth-isabelle


메트로폴리스 준비는 계속 진행 중이며, 코어 개발팀은 최종 스펙에 대한 합의를 위해 작업 중입니다. EIP 들에 대한 테스트 모듈들이 이미 준비되었고, 더 많은 테스트 모듈들이 계속 작성될 것입니다.

Core dev meeting notes: https://github.com/ethereum/pm/tree/master/All%20Core%20Devs%20Meetings
Implementation in Geth: https://github.com/ethereum/go-ethereum/pull/3757
Implementation in Parity: https://github.com/paritytech/parity/issues/4833
Tests: here, here and here, among other places.