I found the original creator on twitter and he let me know that the lock in the video is a Sesame from Candy House. [EN readers scroll to bottom and toggle menu in right corner]
The depicted usage from M5StickC is over WiFi via HTTP API (so it does go through a cloud gateway) - total cost is just barely over $200 USD with that additional cost.
Huge advantage to the Sesame lock is that it goes over your current deadbolts, no need to remove existing door hardware at all. (I basically replaced the handle set and deadbolt when installing the smart lock I have now...)
Kickstarter was last summer : https://www.kickstarter.com/projects/candyhouse/sesame-your-key-reinvented
I guess power is reason they dont just put an ESP32 in the dang lock... and security is why you cant just connect bluetooth from any old dev board, just locked down smart phones... My preference is that I do not believe hardware providers will securely and permanently provide service of remote unlock. Do you mail a copy of your house key to your Alarm company? No...