I think I would avoid those two lenses. Neither of the two lenses you linked appear to have an IR-cut filter installed so they would perform similarly to the IR varifocal lens installed on one of my Mobius cams that I've been discussing for the last several months. Lenses sold without an IR-cut filter are really meant for CCTV cameras that already have an IR-cut filter installed internally. To use these M12 lenses in a dash cam or action cam they require the IR-cut filter to be attached directly on the rear of the lens. Another issue, FWIW is that one vendor only has two items for sale, an overpriced IP cam and the 4mm lens in your link, so they seem a little questionable for an Amazon retailer and the other is a Chinese vendor who sells all manner of items and just happens to have this 2.8mm lens on offer. They also don't mention what the aperture is on their lens and that is information you will want to know. I would recommend buying from a vendor who specializes in these kind of lenses and related products.
Speaking of which, I just ordered some of the lenses being discussed in this thread from two different vendors on AliExpress and so far have had an excellent experience. In both instances, the vendors responded almost instantly to my pre-purchase questions and were very friendly and knowledgeable. Both vendors were happy to provide the lenses with IR-cut filters and both shipped out my order promptly. One guy even had a sense of humor. After he messaged back to me that he would be happy to supply the requested IR-cut filter at no charge I immediately went ahead and placed my order. As soon as he saw the order come through he messaged back a double VICTORY emoji! Had a good chuckle over that.
The three lenses I ordered were the 6mm ƒ/1.2 and 4mm ƒ/1.2 from TreeEye that we've been discussing all along here and another 6mm ƒ/1.2 from a different vendor .
https://www.aliexpress.com/item/F1-...-Lens-For-HD-CCTV-IP-Cameras/32827674380.html
https://www.aliexpress.com/item/Sta...ard-Lens-F1-2-Aperture-1-2-5/32667902637.html
https://www.aliexpress.com/item/Yum...nsor-1-2-7-Optical-starlight/32831971159.html
I was able to take advantage of the dramatically reduced prices on 11/11 available because of "Singles Day", China's massive answer to Amazon Prime Day, which led me to order the extra 6mm lens out of curiosity as it is of a somewhat different design.
I can appreciate your desire to order from Amazon but in this case I think it best to be patient and order elsewhere. While it will be awhile until the lenses I ordered from AliExpress arrive I have confidence there won't be any issues based on my positive experience with the vendors and the fact the others here have not mentioned any adverse issues either. On one order I paid an extra two and a half dollars to upgrade to an expedited shipping method.
Another option for you if you don't want to order direct from China might be to look to purchasing from vendors like M12 lenses.com or Peau Productions.