float's blog

这篇学习一下什么是数据库事务(Transaction)以及开发时应注意的ACID原则(Atomic、Consistent、Isolated、Durable)

Bloom Filter（布隆过滤器）是一种空间利用很高的数据结构，使用一个数据来表示一个集合，用于判断一个元素是否存在于这个集合中。但是也有妥协：在判断一个元素是否属于该集合时有可能会误判(false positive)，故不适合于"零错误"的场景，在能够容忍低错误率的场合下，可以通过极少的错误来换取较高的存储空间利用率。google的Guava中就有BloomFilter这个类。

一个比较常见的应用是缓解Redis等缓存中缓存击穿的问题。

zk-SNARKs即"zero knowledge Succinct Non-interactive Argument of Knowledge"，第一次见到是在ZCash的介绍里 Zcash is the first widespread application of zk-SNARKs, a novel form of zero-knowledge cryptography. ...，他给出了简洁的非交互式零知识证明的办法，属于零知识证明的一种。

zk-SNARKs的第一个应用就是Zcash，可以做到毫秒级的验证效果，但是产生这个证明的过程较为复杂。这篇开始学习一下流程。大致上流程如下：

Computation计算问题 -> Arithmetic Circuit代数电路 -> R1CS -> QAP -> zk-SNARK

Quarkus -- A Kubernetes Native Java stack tailored for OpenJDK HotSpot and GraalVM, crafted from the best of breed Java libraries and standards.

该框架定义为Kubernetes原生框架，可以很好的解决Serverless架构下资源占用大、冷启动慢等问题，实际效果还是挺惊艳的。这一篇开始学习Quarkus框架，本篇内容如下：

• 介绍基本概念
• 学习写简单的RESTful项目
• 学习构建可执行文件以及构建Docker镜像

这篇论文深入探讨了Serverless Computing这个较新的云计算概念，并讨论了它的来源、想要解决的问题等等。最近也是接触了一些新的云技术的思想和技术，尤其是自接触了Kubernetes和Quarkus，触发了我对这个领域的好奇心。云计算领域之前也有写过文章微服务入门-5W和微服务思想 · float's blog，但是当时只是简单的看了一下供微服务应用底层使用的一些平台，比如IaaS、PaaS，FaaS等等，也只简单了解了Serverless的概念。故跟着学习一下。