Issue with EverCrypt_CTR and counter with chacha20 #6
Description
Original issue here: hacl-star/hacl-star#392
This module remains unverified and we have no plans to fix it and/or include it in EverCrypt proper, because the CTR construction is deprecated