Introduction After studying the circom getting-started, I felt like it wouldn’t be a big challenge to come up with a simple circuit myself. My idea was to prove that you know someone’s birthday without revealing the date in a DD::MM::YY format. I immediately wrote a simple circuit and thought I was…

The ability of financial instutitions to know the risks they are exposed to depends on their access to high quality data which they can use as input to models and analyses. To be high quality, the data must be accurate, and also organized. …

I participated in the Berkeley RDI ZKP / Web3 hackathon, 2023. This hackathon aimed to incentivize various developments of general usefulness for applications of zero knowledge cryptography and in the Web3 space. It had four different tracks: zk-Applications, zkBridge, zk-Circuits, and zk-Benchmarks. My contribution to the hackathon was supported by…

I participated as a student in the Berkeley ZK MOOC, 2023. This course covered zero knowledge proofs from theoretical and applied perspectives, using lectures, quizzes, and homework assignments. As a professional working in the area of applied ZK cryptography for about 1.5 years, I found this course immensely useful. Prior…

Elliptic curve digital signatures -1 Elliptic curve cryptography (ECC) is very popular in the crypto and blockchain space, as it’s considered secure and…medium.com In this part of the series, an asymmetric key-pair will be used to produce and verify a cryptographic signature. Consider a plain message m, that’s a request to a financial network to transfer funds from an account User1 to another account User2.

Elliptic curve cryptography (ECC) is very popular in the crypto and blockchain space, as it’s considered secure and possibly quantum-resistant. The security of ECC is based on the difficulty of solving the elliptic curve discrete logarithm problem, which is considered to be computationally infeasible. To understand the discrete logarithm problem…

It’s not obvious how to know things about the world, but knowing that critical systems will work correctly is a matter of duty for the engineers who work on them. How can we get beyond uncertainty into a realm of being reasonably certain that the systems we build will work…

Inaugural Casper ZK workshop Introduction In an effort to focus efforts aimed towards integrating zero-knowledge (ZK) cryptography into various dimensions of the Casper platform, an inaugural exploration workshop was held at the Casper offices in Zug, Switzerland during the week of 23rd January. In attendance were the following: Michal Papierski, Core…

Introduction Welcome to the Casper R&D blog. This is the first of a series of articles reviewing the Casper SDK landscape. Healthy blockchain ecosystems require a set of high quality SDK’s implemented in the programming languages demanded by the community of builders. …