searchindex.js

Search.setIndex({docnames:["API","Applications","EverCryptAEAD","EverCryptAutoConfig","EverCryptCTR","EverCryptDRBG","EverCryptDeprecated","EverCryptDoc","EverCryptHKDF","EverCryptHMAC","EverCryptHash","EverCryptNonAgile","General","HaclAEAD","HaclDoc","HaclECDH","HaclHash","HaclNaCl","HaclSig","HaclValeEverCrypt","Obtaining","Overview","Randomness","Supported","index"],envversion:53,filenames:["API.rst","Applications.rst","EverCryptAEAD.rst","EverCryptAutoConfig.rst","EverCryptCTR.rst","EverCryptDRBG.rst","EverCryptDeprecated.rst","EverCryptDoc.rst","EverCryptHKDF.rst","EverCryptHMAC.rst","EverCryptHash.rst","EverCryptNonAgile.rst","General.rst","HaclAEAD.rst","HaclDoc.rst","HaclECDH.rst","HaclHash.rst","HaclNaCl.rst","HaclSig.rst","HaclValeEverCrypt.rst","Obtaining.rst","Overview.rst","Randomness.rst","Supported.rst","index.rst"],objects:{},objnames:{},objtypes:{},terms:{"0xffffffff":17,"4gb":[8,9,11],"abstract":[2,19,21],"b\u00e9guelin":21,"boolean":[15,18],"byte":[11,13,15,16,17,18,22],"c\u00e9dric":21,"c\u0103t\u0103lin":21,"case":[2,12,15,18,20],"class":21,"function":[0,2,3,4,6,8,9,10,12,13,14,15,17,18,20,21,22],"hri\u0163cu":21,"import":[12,20],"new":20,"null":[2,16,21],"public":[14,15,16,18,24],"return":[2,10,12,13,15,17,18],"static":[20,24],"true":[15,18],"var":20,"void":[0,2,3,4,8,9,10,11,13,15,16,18],"while":21,"zinzindohou\u00e9":21,AES:[0,2,6,23],CCS:21,For:[10,11,12,16,20],IVs:[4,12],Its:21,NOT:[8,9],Not:11,One:7,TLS:[1,23],The:[1,2,3,4,8,9,10,12,13,15,16,17,18,19,20,21,23,24],Then:[0,20],There:[2,10,12,20],These:[6,8,12,16,19,20,24],Using:[4,21,24],__int128:20,aad:[0,13],aadlen:[0,13],abid:12,abl:[0,12],about:[20,21],abov:[12,16,24],access:21,achiev:[3,21],across:[4,17],activ:24,ad_len:[0,2,12],ad_p:12,add:20,addit:[6,12,16,19,20],address:21,adversari:21,advis:10,adx:[2,11,15,23],aead:[0,4,7,11,12,14,19,23,24],aes128:[2,4],aes256:[2,4],aesni:[2,4],after:[3,10,21],against:16,agil:[0,2,4,7,10,19,21,23,24],aim:19,algorithm:[0,2,3,6,9,10,11,12,14,16,19,20,21,24],all:[1,2,3,4,5,8,9,10,11,12,13,15,16,19,20,21,23],all_liv:12,alloc:[0,2,4,10,12,16],alloca:20,allow:[10,12,19,21],almost:12,along:[4,10,12,20,24],also:[4,13,16,17,19,20,21,23],alwai:[3,5,8,9,10,12],among:21,amount:[2,10,12],analyz:21,ani:[0,10,12,13,15,18,19,21,24],anoth:[0,21],antoin:21,api:[1,2,3,4,12,13,15,16,18,19,20,23,24],applic:[23,24],approach:[8,9],arbitrari:[4,10,16],architectur:0,argument:[0,2,4,5,8,9,10,13,15,16,17,18],arithmet:[15,20],arm:[13,23],arrai:[2,12,13,15,16,17,18],arrang:19,art:21,ascertain:0,aseem:21,ashai:21,ask:22,asm:[19,21,23],assembl:[11,12,15,19,20,21,23,24],associ:13,assum:[12,20],assumpt:20,asynchron:20,atop:19,attempt:[20,21],authent:[13,17],authorit:[5,8,9],auto:20,autodetect:[7,24],automat:[0,19],avail:[2,10,20],avoid:20,avx2:[0,2,11,13,23],avx:[2,11,13,23],awar:20,award:21,aymer:21,backend:[20,21],backward:[16,23],bar:12,barri:21,bartzia:21,base:[0,1,7,13],basic:12,bcrypt:[3,6],beat:21,becaus:[2,10],been:[10,12,15,18,20,23,24],befor:[10,12,22],beguelin:21,behav:21,behavior:21,being:[1,22,24],below:[8,9,10,12,19,23],benefit:11,benjamin:21,best:[12,19,21],better:21,between:[11,12,17,18,21,24],beurdouch:21,bewar:22,bhargavan:21,bigstr:20,bind:[19,24],bit:[0,13,15,20,23],blake2:[16,23],blake2b:16,blake:14,block:[4,7],blockchain:24,bmi2:[2,11,15,23],bodi:21,bond:21,bool:[15,18,22],both:[1,2,15,20,21],boundari:21,box:[14,24],branch:[13,15,16,18],bring:[19,21],bryan:21,buf:[12,22],buffer:[10,12,17,21],bug:21,build:[1,13,19,20],built:19,bundl:12,c11:20,c89:20,call:[0,3,4,10,11,12,13,17,18,19,20,21],callabl:19,caller:[15,17,18],can:[0,1,2,3,4,10,13,15,16,17,18,19,20,24],cannot:[2,12],captur:12,carefulli:12,carnegi:24,carri:21,ccf:20,ccm:2,cedric:21,certain:21,chacha20:[7,14,23,24],chacha20poly1305:13,chacha:[0,2,4],chang:0,channel:21,character:21,check:[2,5,8,9,20,24],cherri:20,choi:21,choic:[9,19,20],choos:3,chosen:10,chri:21,christoph:21,chunk:[10,12],cipher:[0,2,7,12,13,23],cipher_len:2,ciphertext:13,clang:20,clen:17,client:[0,2,3,4,6,10,11,12,19,20,21],clmul:[2,4,23],close:11,code:[0,2,10,13,15,18,19,21,22,24],codebas:21,codepath:19,collabor:24,collect:24,combin:[6,12,24],come:[12,19,20],comment:[12,24],common:21,compact:20,compat:[16,17,20,23],compil:[1,13,15,19,21,23,24],complet:[4,19,23],compli:21,compliant:20,compon:[19,21,24],compound:20,comput:[9,10,15,17,18],compute_:9,compute_st:9,condit:[2,12],connect:21,consequ:21,consid:[0,12],construct:[13,15,16,18],consum:20,contact:[15,16,18],contain:[13,15,16,17,19,20],content:24,context:19,continu:12,control:20,convent:20,convers:24,copi:[8,9,10],core:19,correct:21,correspond:[11,13,15,17,18,20],cost:[8,9,10],could:21,counter:4,cover:21,cpu:[0,7,20,24],crate:20,create_in:[2,4,10],critic:19,cross:[20,21],cryptgenrandom:22,crypto:[1,12,24],cryptograph:[15,18,19,21],cryptographi:[1,19],csf:21,csprng:[15,18],ctr:[6,7,24],ctype:[19,20],culmin:21,current:[1,4,10,23],curv:[14,18,21],curve25519:[7,15,17,20,23],cygwin:20,dafni:21,danger:4,data:[2,4,9,10,13],data_len:9,datalen:9,date:12,decid:6,deciph:2,declar:12,decrypt:[7,14,17],dedic:[19,21],deep:21,defin:[2,4,5,8,9,10,20],definit:[2,12],delignat:21,deliv:21,denot:12,depend:[19,20,22],deploi:19,deprec:[7,24],derefer:21,deriv:[15,18,21,23],describ:[10,16,24],descript:[21,24],design:[20,21],desir:[0,2],detach:17,detail:[12,20,23,24],detect:[0,3],determin:2,dev:22,develop:[1,13,15,16,18,19,20,21,24],differ:[0,4,13,15,16,17,18],diffi:15,dig:24,digest:16,digit:18,directli:[13,21],directori:[12,20],disabl:20,disable_:3,discuss:21,disjoint:12,dispatch:[8,9,10],dist:20,distinguish:[20,21],distribut:[19,24],dll:20,document:[11,20,23],doe:[0,10,20],doesn:4,done:10,doubl:21,drbg:[6,7,24],dsl:21,dst:[0,2,4,9,10,11,16],dual:17,dune:20,dynam:[8,9,19,20],each:[13,16,19,20,23,24],earli:21,easi:[17,20],easili:20,ecdh:[11,14,17,20,23,24],ecdsa:14,ed25519:[7,14,23,24],eddsa:14,edward:18,effici:[0,10,18,19,21,23],effort:[12,23],either:[2,10,12,20,24],electron:19,elimin:[2,20],ellipt:[15,18,21],embed:21,emul:15,enabl:21,encourag:2,encrypt:[0,7,12,14,24],encrypt_gen_pr:12,encrypt_live_disjoint_pr:12,encrypt_pr:[2,12],end:[3,11,19],enforc:20,enjoi:[10,11],ensur:20,entir:21,environ:[20,24],equip:[20,22],error:[2,10,12,13,21],establish:21,etc:[12,20,21],even:12,ever:12,evercrypt:[0,1,2,3,5,8,9,10,11,12,20,21,23,24],evercrypt_:12,evercrypt_aead:[0,6,7,24],evercrypt_aead_create_in:[0,2,4],evercrypt_aead_decrypt:2,evercrypt_aead_encrypt:[0,2,12],evercrypt_aead_fre:2,evercrypt_aead_state_:[0,2],evercrypt_autoconfig2:[0,7,24],evercrypt_autoconfig2_disable_:3,evercrypt_autoconfig2_disable_avx2:3,evercrypt_autoconfig2_init:[0,3],evercrypt_chacha20poly1305:11,evercrypt_ciph:7,evercrypt_ctr:[6,7,24],evercrypt_ctr_create_in:4,evercrypt_ctr_init:4,evercrypt_ctr_state_:4,evercrypt_ctr_update_block:4,evercrypt_curve25519:11,evercrypt_drbg:[7,24],evercrypt_ecdh:11,evercrypt_ed25519:11,evercrypt_error_error:2,evercrypt_error_error_cod:[0,2,4],evercrypt_hacl:7,evercrypt_hash:[7,24],evercrypt_hash_create_in:10,evercrypt_hash_finish:10,evercrypt_hash_fre:10,evercrypt_hash_hash:10,evercrypt_hash_hash_256:10,evercrypt_hash_incremental_create_in:10,evercrypt_hash_incremental_finish_md5:10,evercrypt_hash_incremental_fre:10,evercrypt_hash_incremental_upd:10,evercrypt_hash_init:10,evercrypt_hash_upd:10,evercrypt_hash_update_last:10,evercrypt_hash_update_multi:10,evercrypt_hkdf:[7,24],evercrypt_hkdf_expand_sha1:8,evercrypt_hkdf_expand_sha2_512:8,evercrypt_hkdf_extract:8,evercrypt_hkdf_extract_sha2_512:8,evercrypt_hmac:[7,24],evercrypt_hmac_comput:9,evercrypt_hmac_compute_sha2_256:9,evercrypt_poly1305:11,evercrypt_poly1305_poly1305:11,evercrypt_val:7,everest:[19,21,24],everi:20,evidenc:10,evmorfia:21,exact:10,exactli:10,exampl:[12,20],except:[4,13],exchang:20,execut:[15,21],exist:[8,9,21],expand:[4,8,14],expand_:8,expand_st:8,expans:2,expect:[0,2,4,12,16,21],expens:[10,17],expert:12,explicit:20,expos:[3,6],express:21,extens:21,extern:[20,22],extra:[0,10],extract:[8,10,19,20,21],extract_:8,extract_st:8,facilit:20,fail:[13,15],faillibl:10,failur:[3,10,17],faithfulli:12,fallback:[3,10],fals:[2,15,18],famili:19,fast:21,featur:[3,11,20,24],feed:10,few:12,field:15,file:[12,13,16,20,22,24],find:24,finish:[6,10],fip:16,firefox:24,first:[0,2,4,13,15,16,17,18,21],fledg:24,follow:[10,13,15,16,17,18],foo:12,foo_bar_baz:12,footprint:12,forbid:3,foreign:20,form:2,formal:[19,21,24],forward:12,found:[0,1,11,12,13,20,21],foundat:21,fournet:21,free:[2,4,10,21],freed:[2,12,16],from:[0,3,4,8,10,12,17,19,20,21,22,24],fromherz:21,fst:12,fstar:20,fsti:[2,4,5,8,9,11,12],full:[23,24],fulli:[4,21],functor:20,furthermor:[0,10],g_is_nul:12,gcc64:20,gcc:20,gcm:[0,2,6,23],gener:[0,12,14,16,20],get:[11,20],giannaraki:21,give:20,given:[0,12,15,18],good:[12,21],guarante:[12,21],hac:21,hacl:[0,1,3,10,12,13,15,16,17,18,20,21,22,23,24],hacl_:12,hacl_chacha20_vec256:13,hacl_chacha20poly1305_128:13,hacl_chacha20poly1305_128_aead_decrypt:13,hacl_chacha20poly1305_128_aead_encrypt:13,hacl_chacha20poly1305_256:[0,13],hacl_chacha20poly1305_256_aead_decrypt:13,hacl_chacha20poly1305_256_aead_encrypt:[0,13],hacl_chacha20poly1305_32:13,hacl_chacha20poly1305_32_aead_decrypt:13,hacl_chacha20poly1305_32_aead_encrypt:13,hacl_curve25519_51:15,hacl_curve25519_51_ecdh:15,hacl_curve25519_51_secret_to_publ:15,hacl_curve25519_64:15,hacl_curve25519_64_ecdh:15,hacl_curve25519_64_secret_to_publ:15,hacl_ed25519:18,hacl_ed25519_expand_kei:18,hacl_ed25519_secret_to_publ:18,hacl_ed25519_sign:18,hacl_ed25519_sign_expand:18,hacl_ed25519_verifi:18,hacl_hash:[12,16],hacl_hash_sha2_hash_256:16,hacl_hash_sha2_hash_384:16,hacl_hash_sha2_hash_512:16,hacl_hkdf:[8,12],hacl_hmac:9,hacl_nacl:17,hacl_nacl_crypto_box_beforenm:17,hacl_nacl_crypto_box_detach:17,hacl_nacl_crypto_box_detached_afternm:17,hacl_nacl_crypto_box_easi:17,hacl_nacl_crypto_box_easy_afternm:17,hacl_nacl_crypto_box_open_detach:17,hacl_nacl_crypto_box_open_easi:17,hacl_nacl_crypto_box_open_easy_afternm:17,hacl_nacl_crypto_secretbox_easi:17,hacl_nacl_crypto_secretbox_open_easi:17,hacl_sha3:16,hacl_sha3_sha3_256:16,hacl_sha3_sha3_384:16,hacl_sha3_sha3_512:16,hacl_sha3_shake128_hacl:16,hacl_sha3_shake256_hacl:16,hacl_spec:[2,4,5,8,9,10],hacl_streaming_functor_state_s___evercrypt_hash_state_s____:10,had:21,hand:[0,12,20,21],handwritten:22,happen:12,has:[2,3,4,10,13,15,18,20,23,24],hash:[1,7,9,12,14,19,23,24],hash_length:9,have:[0,9,10,11,12,16,20,21,23,24],hawblitzel:21,header:[7,13,20],hellman:15,helper:0,henc:[16,21,22],here:[1,12,20],high:[19,20,21],highli:19,histori:24,hkdf:[7,12,15,18,23,24],hmac:[6,7,8,23,24],hold:[2,12,13],hood:6,host:24,how:[20,24],howev:[11,20],http:19,hybrid:15,ibm:23,icfp:21,idea:12,ident:[11,13],identifi:12,idiomat:20,ietf:[13,15,18,21],ikm:8,ikmlen:8,implement:[0,1,2,3,4,6,10,12,13,15,16,17,18,19,20,21,22,23,24],includ:[1,13,15,16,18,19,20,21],incomplet:2,incorpor:[20,24],incred:20,increment:4,inde:12,independ:21,index:24,indic:15,indirect:10,individu:[20,23,24],influenc:20,info:8,infolen:8,inform:12,infrastructur:21,ing:12,init:[3,4,10],initi:[2,4,21,24],inlin:[20,23],input:[8,10,13,15,16,17,18,21],input_len:[10,16],inputbytelen:16,inria:24,inspir:21,instal:20,instanc:[0,11,12],instead:[6,17,20],instruct:[0,13,15],integr:[12,21,24],intel:[13,15,23],intend:19,intent:21,interest:23,interfac:[12,21],intermediari:[0,10],intern:[2,3,4,10,13,20,22],intrins:[20,23],inttyp:20,invalid:10,invalidkei:[2,12],invari:12,invoc:[17,18],involv:21,iro:21,is_supported_alg:[5,8,9],its:[1,16,17,19,20,21,24],iv_len:[0,2,4,12],iv_length:2,iv_p:12,jacob:21,jean:21,jonathan:21,joonwon:21,jsdoc:20,jump:10,just:11,kapritso:21,karim:21,karthikeyan:21,keccak:16,kei:[2,4,8,9,11,13,14,23],kernel:24,key_len:9,keylen:9,keypair:15,keysiz:[8,9],kind:21,know:4,known:12,kremlin:[15,19,20,21],krml_deprec:22,krml_verified_uint128:20,languag:[19,21,24],larger:20,last:[15,16,18],later:10,latter:[2,20],laur:21,lavaud:21,layout:20,learn:21,least:[11,15,16,18],left:12,legaci:[7,23],leino:21,len:[8,10,11,18,22],length:[2,4,9,11,12,13,16,17,18],let:[4,12],level:[12,19,20,21],lib:[6,12],lib_:12,lib_gen:20,lib_randombuffer_system_randombyt:22,libevercrypt:20,librari:[1,13,15,19,21],libsign:24,libsodium:17,like:[20,21],limit:16,line:12,linkag:20,linux:24,list:[12,20,24],liter:20,littl:16,live:[12,16],loc_buff:12,loc_disjoint:12,locat:22,look:[2,12,20],lorch:21,lost:12,low:[20,21],mac:[0,4,9,13,23],machin:[10,19,21],macro:20,made:23,mai:[2,3,10,11,12,15,18,20],main:[15,17],maintain:[15,16,18,20,24],make:[8,9,12,20,23],makefil:20,manag:[7,10],mani:[2,18],manipul:[20,21],mano:21,manual:24,map:12,march:20,marina:21,master:[15,18],match:16,materi:8,mathemat:21,max_length:12,maxim:21,md5:[14,23],mean:[0,2,8,10,12],meant:[13,15],meet:21,mellon:24,mem:12,memori:[12,20,21,22],mere:10,merg:[15,18],merkl:[1,19,20],merkle_tre:1,merkletre:24,messag:18,microsoft:[20,22,24],mingw:20,minim:22,mitl:[6,24],mixtur:[19,21],mlen:[0,13,17],mode:[6,7,24],model:10,modern:[19,21],modifi:[1,12],modul:[20,24],modulo:10,monitor:21,more:[10,20,21,22],most:[0,12,20,21],mozilla:20,msg:18,msquic:24,msvc:20,much:20,multipl:[10,12,17,18],multiplex:[0,2,4,5,8,9,10,11,19,21],must:[0,2,4,9,10,11,12,15,16,18],nacl:[14,24],name:12,nativ:20,need:[0,4,6,8,9,11,18,20],neon:[13,23],never:21,next:13,nick:21,nikhil:21,nist:[16,21],nmake:20,node:20,non:[7,10,12,16,24],nonc:[13,17],none:12,note:[20,23],noth:21,nounce_bound:4,now:16,number:[10,15,18,22],numer:10,oakland:20,obei:12,object:20,observ:21,obtain:[12,20],ocaml:[19,21],offer:[4,6,12,19,20],offici:21,okm:8,onc:[10,19],one:[0,2,4,8,9,10,18,21,23],ongo:24,onli:[0,2,3,4,6,10,12,20,23],onlin:20,onto:[8,9,10],opam:20,open:24,openssl:[3,6],oper:[7,15,18,20],optim:[15,19,20],option:20,order:[0,3,12,19,20,21],orient:20,origin:[2,12],other:[0,2,10,13,14,17,21,24],otherwis:[12,15,18],ouput:16,our:[12,19,20,24],out:[12,15,21],output:[8,13,15,16,17,18,21],outputbytelen:16,outsid:13,overflow:21,overhaul:21,overhead:0,overlap:12,overview:23,own:[13,19,20,22],packag:20,page:24,paper:[20,21],parallel:21,paramet:[0,2,6,8,9,21],pari:24,parno:21,part:[1,18,19,20,21,22,24],particular:[12,20,23],pass:[0,4,10,20,21],peer:15,peng:21,per:12,perform:[2,10,12,19,20,21],persist:[2,4],pick:[0,3,19,24],piec:[2,4],placehold:11,plain:[0,2,12],plain_len:[0,2,12],plain_p:12,plaintext:13,platform:[2,13,15,20,21,22,23],pleas:[20,23],point:[10,16,23],pointer:[12,13,15,16,18,21,22],pointer_or_nul:12,poli:[0,2],polubelova:21,poly1305:[7,14,23,24],popl:21,portabl:[2,4,5,8,9,10,11,13,15,20,23],posit:12,possibl:[2,4,5,8,9,10,12,21],post:[2,12],potenti:4,pow2:12,power8:23,practic:[15,18],pre:12,precomput:2,precondit:[2,8,11,24],predic:[2,4],preprocessor:20,present:[19,21],prevent:21,previous:6,primarili:20,primer:2,primit:[19,24],primiv:17,priorit:4,priv:[15,18],privat:[15,17,18,21],prk:8,prklen:8,proce:[10,20],process:[12,20],produc:16,product:24,program:[19,20,21],progress:[4,12],project:[1,19,20,21,24],promis:20,prone:10,properti:[12,21],prosecco:24,protocol:[1,19,24],protzenko:21,prove:21,provid:[10,12,13,15,16,17,19,20,21,23,24],pseudo:[15,18],pub:[15,16,18],publish:20,pull:12,pure:19,purpos:23,question:24,quic:24,ramananandro:21,random:[6,12,14,15,18,24],random_crypto:22,randombuff:6,rane:21,rang:21,rastogi:21,rather:[6,12],raw:[6,20],read:[2,11,24],read_random_byt:22,readabl:21,realli:4,recent:23,recipi:17,recommend:[4,10,13,16],recompil:19,reconfigur:19,reduct:2,refer:23,refin:9,regard:12,relat:[12,19,24],reli:[1,3,6,12,13,15,20,21,24],reliev:10,remain:[6,13,24],remark:12,remov:20,repositori:[1,19,20],request:[12,24],requir:[0,10,20],research:24,reset:[4,10],respect:21,respons:21,result:[0,3,13,15,16,17,18,20,21],ret:2,retuen:17,reus:2,review:[12,22],revis:0,rfc:[13,15,18],right:[10,20],routin:19,rule:12,run:[0,2,3,13,19,20,24],rustan:21,safeti:21,sai:[11,20],sake:20,salt:8,saltlen:8,same:[12,13,15,17,18,19],santiago:21,satisfi:[2,4,8,9,12],scope:20,search:24,second:[15,16,18,21],secret:[14,21],secret_to_publ:[15,18],secretbox:[14,24],section:12,secur:16,secure_api:1,see:[2,9,11,12,20,23],select:20,semant:21,sender:17,separ:17,seri:21,seriou:4,serv:21,set:[13,15,19,20,21],setti:21,setup:20,sever:[1,19,21],sha1:[5,8,9,16,23],sha2:[5,8,9,10,23],sha2_256:[5,8,9],sha2_384:[5,8,9],sha2_512:[5,8,9],sha3:[12,23],sha:[14,24],shaext:[5,8,9,10,23],shake:14,shall:12,share:[14,17,18,20],shot:7,should:[3,4,5,6,8,9,10,12,15,18,22,24],shown:19,side:21,sign:14,signal:[1,19],signatur:[2,12,14,20,23,24],signer:18,similar:[4,13],simpl:21,simplest:17,sinc:[12,15],singl:[19,24],situat:18,size:[4,10,15,16,18,20],slightli:10,slow:[3,20],small:20,smaller:10,softwar:[20,24],some:[12,15,18,23],someth:4,sometim:12,sourc:[2,5,8,9,20,24],spec:[2,4,8,9],spec_agile_aead_aes128_ccm8:2,spec_agile_aead_aes128_ccm:2,spec_agile_aead_aes128_gcm:2,spec_agile_aead_aes256_ccm8:2,spec_agile_aead_aes256_ccm:2,spec_agile_aead_aes256_gcm:2,spec_agile_aead_alg:[0,2],spec_agile_aead_chacha20_poly1305:2,spec_agile_cipher_aes128:4,spec_agile_cipher_aes256:4,spec_agile_cipher_chacha20:4,spec_agile_cipher_cipher_alg:4,spec_hash_definitions_blake2:[5,8,9,10],spec_hash_definitions_blake2b:[5,8,9,10],spec_hash_definitions_hash_alg:[8,9,10],spec_hash_definitions_md5:[5,8,9,10],spec_hash_definitions_sha1:[5,8,9,10],spec_hash_definitions_sha2_224:[5,8,9,10],spec_hash_definitions_sha2_256:[5,8,9,10],spec_hash_definitions_sha2_384:[5,8,9,10],spec_hash_definitions_sha2_512:[5,8,9,10],special:[0,8,9,10],specif:[3,20,21],specifi:[13,18],src:[4,11],srinath:21,sse4:0,stack:19,standard:[16,20,21],star:[19,20,24],start:12,state:[0,5,7,8,9,10,12,21],state_:12,stick:4,still:[11,15,20,24],store:[4,13,17],stream:[4,7],strictli:[10,12],strong:[15,18,21],strongli:[2,16],struct:2,studio:20,subdirectori:[12,20],subset:[19,21],substandard:21,substanti:2,succe:[13,18],success:[2,12,13,17],successfulli:12,suit:16,suitabl:[0,2,6,9],support:[0,2,4,5,6,8,9,10,13,15,20,24],supported_alg:12,sure:[8,9,12],swami:21,symmetr:14,syntact:20,system:[6,20],tabl:23,tag:[0,2,12,13,17],tag_length:[2,12],tahina:21,tail:20,take:[2,16,17,20,21,22],target:[0,2,3,20],tcb:22,team:[21,24],test:[3,8,9,10,20,21],tezo:24,than:[6,10,12,16,22],thei:[0,12,13,20,21,24],them:[15,21,23],therefor:[2,20],thesi:21,thi:[0,2,3,4,5,8,9,10,11,12,13,15,17,18,19,20,21,22,23,24],third:18,thompson:21,those:[0,12,21],though:12,three:[13,15],through:[10,21,24],thu:20,time:[2,10,17,18,20,21,24],togeth:[21,24],toler:12,tool:24,top:20,total:20,translat:12,treat:24,tree:[1,19,20],trustworthi:19,tune:21,two:[12,13,15,16,17,20,21],type:[2,13,16,20,21],typic:12,uint128:20,uint32:12,uint32_t:[0,2,4,8,9,10,11,13,16,17,18,22],uint8:12,uint8_t:[0,2,4,8,9,10,11,13,15,16,17,18,22],uint8arrai:20,unchang:13,under:[6,19,20],underli:[10,23,24],unifi:21,univers:24,unix:22,unless:21,unlik:21,unsign:20,unsupport:2,unsupportedalgorithm:2,unverifi:[2,6,10,12,19,20],updat:10,update_block:4,update_last:10,urandom:22,usag:[2,4],use:[6,10,12,13,15,16,17,18,20,21,23,24],used:[6,15,18,19,20,21,22,24],usenix:21,user:[3,4,6,12,19,20],uses:[1,20],using:[4,6,15,16,18,19,20,21,22,23],usual:20,vale:[3,15,20,21,23,24],valecrypt:24,valid:[12,20],valu:[2,4,5,8,9,10],variant:10,varieti:11,variou:[3,12,20],vector:[0,13,23],verbos:20,veri:20,verif:[1,12,18,20,23,24],verifi:[4,12,14,15,16,19,20,23,24],version:[1,8,9,13,15,17,20,21,23],vet:20,via:[0,2,3,4,10,19,20],violat:[12,21],visual:20,vla:20,vpn:24,vulner:21,wai:17,wang:21,want:[11,12,24],wasm:20,wealth:12,web:19,webassembl:[1,19,20],websit:19,welcom:12,well:12,were:[6,21],what:24,when:20,where:[16,18,19],which:[1,2,4,10,11,12,15,18,19,20,21,23,24],who:20,wholesal:20,window:[20,22,24],wintersteig:21,wireguard:24,wish:[15,16,18],within:20,without:[2,4,10,19,20],work:[4,12,20,21],workshop:21,would:[12,21],wrap:10,wrapper:20,write:2,written:[1,12,16,20,21,22,24],wrong:21,x25519:[11,14,17,24],x64:[11,23],year:21,yet:[10,11,12,15,18],you:[0,4,5,6,8,9,11,12,15,16,18,20,24],your:[0,9,20],zanella:21,zero:[12,15]},titles:["Which API to use","Verified Applications","AEAD (<code class=\"docutils literal notranslate\"><span class=\"pre\">EverCrypt_AEAD.h</span></code>)","CPU autodetection (<code class=\"docutils literal notranslate\"><span class=\"pre\">EverCrypt_AutoConfig2.h</span></code>)","CTR-mode encryption (<code class=\"docutils literal notranslate\"><span class=\"pre\">EverCrypt_CTR.h</span></code>)","HMAC-DRBG (<code class=\"docutils literal notranslate\"><span class=\"pre\">EverCrypt_DRBG.h</span></code>)","Deprecated APIs","EverCrypt APIs","HKDF (<code class=\"docutils literal notranslate\"><span class=\"pre\">EverCrypt_HKDF.h</span></code>)","HMAC (<code class=\"docutils literal notranslate\"><span class=\"pre\">EverCrypt_HMAC.h</span></code>)","Hashing (<code class=\"docutils literal notranslate\"><span class=\"pre\">EverCrypt_Hash.h</span></code>)","Non-agile APIs","Digging into the F* source code","AEAD: Chacha20-Poly1305","HACL APIs","ECDH: X25519","Hashing: SHA-2, SHA-3","NaCl API: Box and SecretBox","Signatures: Ed25519","HACL*, Vale, and EverCrypt","Using the crypto library","Underlying research","Randomness","List of supported algorithms","A High Assurance Cryptographic Library"],titleterms:{"function":16,"public":[17,21],"static":12,One:10,Using:20,aead:[2,13],agil:[5,8,9,11],algorithm:[18,23],api:[0,5,6,7,8,9,10,11,14,17],applic:1,assur:24,autodetect:3,base:10,bind:20,blake:16,block:[6,10],box:17,chacha20:[11,13],check:12,cipher:6,code:[12,20],compil:20,cpu:3,crypto:20,cryptograph:24,ctr:4,curv:15,curve25519:11,decrypt:[2,13],deprec:6,dig:12,distribut:20,drbg:5,ecdh:15,ecdsa:18,ed25519:[11,18],eddsa:18,encrypt:[2,4,13,17],evercrypt:[6,7,19],evercrypt_aead:2,evercrypt_autoconfig2:3,evercrypt_ciph:6,evercrypt_ctr:4,evercrypt_drbg:5,evercrypt_hacl:6,evercrypt_hash:10,evercrypt_hkdf:8,evercrypt_hmac:9,evercrypt_val:6,everest:1,expand:18,find:12,full:20,gener:[15,18],hacl:[14,19],hash:[10,16],header:6,high:24,histori:21,hkdf:8,hmac:[5,9],indic:24,integr:20,javascript:20,kei:[15,17,18],languag:20,legaci:6,librari:[20,24],libsign:1,list:23,manag:[2,4],md5:16,merkletre:1,mitl:1,mode:4,nacl:17,non:[5,8,9,11],ocaml:20,oper:4,other:[15,16,18,20],our:21,pick:20,poly1305:[11,13],precondit:12,random:22,read:12,research:21,run:12,rust:20,secret:15,secretbox:17,sha:16,shake:16,share:15,shot:10,sign:18,signatur:18,softwar:21,sourc:12,state:[2,4],stream:10,support:23,symmetr:17,tabl:24,time:12,tool:21,underli:21,use:0,vale:19,verif:21,verifi:[1,18,21],what:21,which:0,x25519:15}})