Error handling require revert assert Use when control flow is simple control flow is complicated control flow is simple Check Pre-condition Pre-condition Post-condition Returns Gas Unused Return Return Does not Return - 솔리디티에서는 exception 발생 시 현재까지의 모든 transaction이 중단되고 transaction 이전 상태로 돌아간다. exception을 발생시키기 위한 함수 1. require 주어진 조건을 검사해서 이를 만족시키지 못하면 exception을 발생시킨다. 남은 gas는 반환된다. // require(..