Development and audit of the first smart contracts