ESPHap VS esp-homekit-sdk

https://github.com/Mixiaoxiao/Arduino-HomeKit-ESP8266 you mentioned above, is a port of the espressif lib to nonos/arduino core. It shares the wolfssl lib used by espressif, but as it is portrd to nonos, wifi disconnects during srp and devices cannot connect to it. There’s an improved version here: https://github.com/Yurik72/ESPHap which have patched wolfssl that I have changed to prevent wifi disconnections on SRP calculations. Yuri (the Author) made a great job improving original port, like memory management, moving pairings storage to the file, and so on. It still has wolfssl, which is at least redundant as arduino core already have bearssl bundled. Also, this lib has a memory leak during the pairing process, which is not so important as pairing usually made just once. I am currently trying to find where this leak is, but looks like it is somewhere in between the lib and wolfssl. So, I’d like to replace wolfssl with bundled bearssl, if I’d have a free tome to do that.

Need help - is there any instructions about how to use esp homekit sdk with arduino? I suppose, it could be possible, like, to configure then link it somehow, as it is done with idf sdk itself. I use pio, if it is important. Have downloaded, configured and built a test examples, like lightbulb, everything works, but want to try it with arduino and don't know how to start.

Currently my code is basically just the fan example from the SDK that I managed to change over to a temperature sensor. It reads the sensor on GPIO4 and sends it back to Home. It all works fine. Now my goal is to make it read an additional temperature sensor and return both temps. I'm struggling to do this. Side note, is there any better documentation of the esp-homekit-sdk?

Check out this one: https://github.com/espressif/esp-homekit-sdk/tree/master/examples/common/app_wifi

espressif official hap https://github.com/espressif/esp-homekit-sdk is RTOS based and cannot be used with arduino due to that. But it works, although has some disadvantages, like storing pairing data on the dedicated partition.