BTQ’s Keelung Compiler is Now Open Source thequantuminsider.com/?p=23559 BTQ Research announced that the Keelung Compiler is now open sourced. Keelung is a programming language specifically designed for creating fast, private and secure zero-knowledge programs, enabling developers to easily generate reliable proofs without cryptographic expertise. Keelung harnesses the strength of

#Quantum_Computing_Business #BTQ #BTQ_Research #data_privacy #Keelung #security #ZKP #ZKPs #quantumdaily

Last updated 2 years ago

Andrea Barontini · @baro77
32 followers · 72 posts · Server ioc.exchange

Great expectation from the just begun zk-learning.org mooc
…and has already smashed in the first lecture with a quick reference to MIP* (every good course has to explain but also leave you with with curiosity)

#ZKP #ShafiGoldwasser

Last updated 3 years ago

Andrea Barontini · @baro77
32 followers · 72 posts · Server ioc.exchange

Great expectation from the just begun zk-learning.org mooc
…and has already smashed in the first lecture with a quick reference to MIP* (every good course has to explain but also leave you with curiosity)

#ZKP #ShafiGoldwasser

Last updated 3 years ago

Andrea Barontini · @baro77
32 followers · 72 posts · Server ioc.exchange

Great expectation from the just begun zk-learning.org mooc
…and has already smashed in the first lecture with a quick reference to MIP* (every good course has to explain but also leave you with with curiosity)

#ZKP #ShafiGoldwasser

Last updated 3 years ago

Jonn · @jonn
150 followers · 2933 posts · Server social.doma.dev

I really like the fact that there is a very high theoretical ceiling for

Our colleagues from other companies that are working on modern identity-related products are already investigating usage of to reduce correlation attack surfaces.

A rare occurrence when being in cryptocurrency business since 2013 pays off — I already understand quite some stuff about zero knowledge cryptographic systems, so it won't be too hard to catch up! 🏃

#ZKP #doauth

Last updated 5 years ago

DoudouOSM · @Doudouosm
427 followers · 3658 posts · Server en.osm.town

@LeoSammallahti Regarding part 6 of the paper about identities and verifiable claims, you may want to look into Self- Identity and Zero-Knowledge Proof :
- en.wikipedia.org/wiki/Self-sov
- w3.org/TR/vc-data-model/#zero-

#sovereign #ZKP

Last updated 5 years ago