Hiya folks, I resolved this one myself and updated the repo here: peacefulZen/ATECC608b_ESP32 (github.com)
Leaving this out there for other folks. This is an evil chip for Arduino folks; it just took way too long to put this together. Hopefully this helps the next unfortunate soul who takes on this task.