дослідження + інженерні виклики Lean Ethereum