Archive

For some irrelevant reasons, I decided to move my website (and my library) to be hosted on Codeberg. So, I am going to write a little bit about how I did the migration. First, I created an account on Codeberg. There are tons of useful tutorials and documentations on the web that explain how to migrate repositories from GitHub to Codeberg. It’s important to note that on GitHub, you usually have to name your repository in a specific way to make GitHub Pages work. In Codeberg, you technically can do the same (with the pages repository name), but I found it easier to configure everything with a general repository name. So, I recommend you to name your website’s repository whatever (mine is named website). ...

The problem For some time, I’ve had the premium subscription of Spotify and it has been great. However, often times there are songs that I wish I could listen to which are simply not available in Spotify’s library. Fortunately for us, Spotify has this nice feature where you can use its client to listen to local files. In other words, we can listen to music that is not available on Spotify by simply downloading and importing it. Of course, using this feature has its own problems, like syncing the local files between your devices. I will not be discussing these issues here, though. ...

Warning If the LaTeX below does not render correctly, please refresh the page. Also, do not forget to set the math renderer in MathJax configurations, as shown in the figure below. The configurations window can be accessed by right-clicking on any LaTeX element. Introduction Currently the exponential advance of technology is no longer a surprise, but rather an inherent characteristic of the modern world. Even though this evolution constantly enhances devices, it does not do so in a homogeneous way, creating a world where the distribution of computational power is asymmetric. In this scenario, the ability to safely delegate hard computations to a powerful third party becomes very attractive. Studies in Verifiable Computation address this problem seeking to provide a series of important guarantees. The most important and intuitive one is that the verification must be easier than the computation of the function delegated (if this was not the case, the client should just perform the computation himself). Depending on the scheme implemented, other interesting qualities may be provided, such as public verification (in contrast, some settings may require a designated verifier that is trusted with secret information). ...