# FHEVM API specifications