Created at 3pm, Mar 16
furkanCrypto
1
Cardano Whitepaper
Contract ID
mBTrYeHoXf2zhUPdGem2L3UusRI0C3-SvRmiwlRgoGg
File Type
PDF
Entry Count
133
Embed. Model
jina_embeddings_v2_small_en
Index Type
hnsw

Cardano is a project that began in 2015 as an effort to change the way cryptocurrencies are designed and developed. The overall focus beyond a particular set of innovations is to provide a more balanced and sustainable ecosystem that better accounts for the needs of its users as well as other systems seeking integration.

Therearehundredsofprogramminglanguages,dozensofdevelopmentparadigmsandmorethanonephilosophyonprojectmanagement.Theacademicworldisriddledwithitsownchallengesstemmingfromitsdistancefrombusinessconcernsandpracticality.ForCardano,wefirstattemptedtocaptureobviousdeficienciesthatcanbeuniversallyagreedtobeusefulfromanengineeringperspective.Forexample,cryptographyanddistributedsystemsarebothextraordinarilyinvolvedtopicswithfartoo
id: 8101e43f2c7da79e7f1f0da8a936f698 - page: 22
WHYWEAREBUILDINGCARDANO CreativeCommonsAttribution4.0InternationalLicensePage22of44 .Thisartofiterationiswhatproducesgreatprotocols,witheachstepleadingtonewlessonsandarequirementtore - verifythecorrectnessofpriorstep.Itiscostly,timeconsuming,andat22timestrulytedious,yetitisrequiredtoensureaprotocoliscorrectlydesigned.Protocolsespeciallyonestobeusedbybillionsofpeoplearenotshortlivedandrapidlyevolving.Rathertheyareintendedtobefollowedforyearstodecades.Itseemsentirelyreasonablethat,priortoburdeningtheworldwithanewfinancialsystemweallhavetolivewithforthenext100years,wewanttodemandsometediumandrigorfromitsdesigners.20AcceptedPaperNumber71oftheIACRsAnnualCryptoConferenceinCalifornia21ByKawinWorrasangasilpa
id: 9f4df3b4cda20797afdfdeb0336e56cf - page: 22
Yettheylackreasonablelibrariesandhaveasubpardevelopmentexperience.ForCardano,thechoicecamedowntoOcamlandHaskell.Ocamlisawonderfullanguagewithagreatcommunity,goodtooling,reasonabledevelopmentexperienceandagreatlegacyintheformalverificationspacethroughCoq.SowhydidwechooseHaskell?2323Addingtothispoint,IOHKactuallydoeshaveaprojectbeingimplementedinOcamlcalledQeditas andIdris thatwearecallingDaedalus.Wehavechosentousethewebarchitecturalmodelwherepossible,andforourdatabase,weoptedforakey - value IOHK|WHYWEAREBUILDINGCARDANO|06/28/2017 thatweinheritedfromthepseudonymousBillWhiteWHYWEAREBUILDINGCARDANO CreativeCommonsAttribution4.0InternationalLicensePage23of44
id: 1ae4de7b5778a402d57f20f29c374ee0 - page: 23
FunctionalSinsMovingintomoreopinionatedterritory,thetools,languagesandmethodologiesusedinsoftwaredevelopmentaremoreartifactsofreligiousprovidencethanobjectivereality.Sourcecodeislikewrittenprose.Everyonehasanopinionofwhatisgoodandwhatisbeingcommunicatedis,attimes,lessimportantthanhowitiscommunicated.Wemustcommitthesinofchoosingasideacceptingthatitwillbewronginatleastonepersonseyes.However,thereisatleastalargecorpusofjustificationbehindourchoice.TheprotocolsmakingCardanopossiblearebeingimplementedinHaskell.TheuserinterfacehasbeenencapsulatedinaforkofElectron paradigm usingRocksDB
id: 2dbea8f403968fd16ce5b1fce15bf206 - page: 23
How to Retrieve?
# Search

curl -X POST "https://search.dria.co/hnsw/search" \
-H "x-api-key: <YOUR_API_KEY>" \
-H "Content-Type: application/json" \
-d '{"rerank": true, "top_n": 10, "contract_id": "mBTrYeHoXf2zhUPdGem2L3UusRI0C3-SvRmiwlRgoGg", "query": "What is alexanDRIA library?"}'
        
# Query

curl -X POST "https://search.dria.co/hnsw/query" \
-H "x-api-key: <YOUR_API_KEY>" \
-H "Content-Type: application/json" \
-d '{"vector": [0.123, 0.5236], "top_n": 10, "contract_id": "mBTrYeHoXf2zhUPdGem2L3UusRI0C3-SvRmiwlRgoGg", "level": 2}'