Our quantum-safe hybrid proof system, LANES+, and Verifiable Random Function (VRF), LaV, (appeared at Crypto’23) now have efficient open source implementations here.