r/crypto

Pros and Cons of Embedded TLS Libraries (e.g. WolfSSL, MbedTLS, BearSSL)

I recently noticed that TLS libraries exist that are specialized for embedded devices. Such libraries exist since other more popular TLS libraries (e.g. OpenSSL) have too large a footprint to be suitable for use in embedded devices that have low system resources. I was wondering if anyone here has first-hand …

Join us later this month on Feb 20th at 4PM CEST for an FHE.org meetup with Zeyu Liu, a PhD student at Yale University, who will be presenting "Relaxed Functional Bootstrapping: A New Perspective on BGV and BFV Bootstrapping".

The Importance of Releasing Cryptographic Software to the Public

Today we live in a world where businesses still use closed-source cryptographic software--which is a violation of that principle. I am certain everyone here agrees this is not best. However, I also noticed that although there are certain source-available commercial cryptographic libraries they allow businesses to integrate their code into …

Bulletproofs Inner Product Argument & Range Proofs in Monero using Bulletproofs

I have a written a blog post on the Bulletproofs Inner Product Argument & how it's used in Monero for Range Proofs https://risencrypto.github.io/Bulletproofs/ I am posting it here for feedback, so do let me know if you find any mistakes or if something isn't clear or if you have any …

Request for good resources discussing the meta-problems of using time in cryptographic protocol engineering

**tl;dr Are there any good papers, books, discussions online that focus on the meta-problems of the use of time as a primitive in cryptographic protocols and various options protocol engineers use to mitigate them?** Recently I've been reviewing some cryptographic protocols that heavily rely on time and time windows in …

Cryptographic Libraries Written in an HDL To Study and Learn From (e.g. Verilog, SystemVerilog, VHDL)

I am interested in learning cryptographic development in hardware just as much as I am interested in doing so in software. In the past people on this subreddit have mentioned there are sample implementations of cryptography in VHDL. I was hoping there would be an HDL library of cryptography similiar …

Thoughts on the current market for applied MPC

Been a lurker here for a while, this is my 1st post. I’m a self taught dev who somehow ended up in a role building an MPC-based wallet. Been working with TSS for some time and have a solid grasp of blockchain security. Lately, I’ve been feeling some FOMO seeing …

Certificate Transparency is now enforced in Firefox on desktop platforms starting with version 135

Could this optimisation for zero knowledge provers work?

I recently discovered this repo which compiles arbitrary code into a 10 assembly instruction program that loops. It achieves this by offloading the majority of the code logic to a blob of read-write non-executable data. https://github.com/xoreaxeaxeax/reductio You could prove the inputs for each iteration of the loop outputs the inputs …

Any good graduate schools in Cryptography in North America?

Howdy! I'm a senior majoring in applied mathematics with a concentration in cryptography. I've been thinking more and more about attending graduate school instead of immediately finding a job. Are there any good graduate programs in cryptography here in North America? Or would I have to venture outside the continent?