add ieybase proof