致敬成就Web3的她们，女神节快乐！

2024 年的国际妇女节主题，是激发包容性#InspireInclusion。

这意味着要平等、公正地对待每一位女性的付出，尊重她们的意愿，给予她们更广阔的空间，鼓励她们成就更多。

在 Web3 繁荣发展的今天，回顾过往，有众多不容忽视的女性光芒。

今天这个特别的日子里，我们走进她们的伟大成就，并向她们致以敬意。

首次提出零知识证明的她：Shafi Goldwasser

Shafi Goldwasser 是一位杰出的计算机科学家和数学家，以其在密码学和理论计算机科学领域的贡献而闻名。

Goldwasser 的研究涵盖了众多领域，包括密码学、复杂性理论、随机化算法、分布式计算和计算机安全。她是图灵奖、哥德尔奖和斯隆研究奖等众多奖项的获得者。

Goldwasser 在密码学领域的工作尤为突出，如零知识证明、混合密码系统和拥有健壮安全性的加密方案。她的研究对于构建安全的计算机系统和保护个人隐私具有重要意义。

发明第一个计算机程序的她：Ada Lovelace

Ada Lovelace 是 19 世纪英国数学家，被认为是世界上第一位计算机程序员。她是英国诗人拜伦勋爵的女儿，也是一位杰出的数学家和逻辑学家。

Ada Lovelace 对分析引擎的概念有深入的理解，她相信这台机器不仅可以用来处理数字，还可以用来处理符号。她提出了一种算法，描述了如何使用分析引擎计算伯努利数列（Bernoulli numbers），这被认为是世界上第一个计算机程序。

尽管分析引擎从未完全建成，但 Ada Lovelace 的想法和她编写的算法对计算机科学的发展产生了深远的影响。她被认为是计算机编程领域的先驱之一，每年的 10 月中旬被庆祝为「阿达·洛维斯日」，以纪念她的贡献。

设计出史上首个办公电脑的她：Evelyn Berezin

Evelyn Berezin 是一位美国计算机科学家和工程师，被认为是计算机科学领域的先驱之一。

Evelyn 的知名贡献为设计出各类用途迥异的电脑，例如她一手打造的「资料秘书」，被公认为史上第一套电脑文书处理器，她在电子电脑公司担任逻辑设计部门主管时，设计出史上第一套办公室电脑。

她曾设计出第一套电脑航空订位系统，据说该系统囊括 60 座城市，回应时间仅需 1 秒。史上第一套电脑化银行的系统，也是出自于她之手。

第一位使用高级语言编程的她：Grace Murray Hopper

Grace Murray Hopper 是美国计算机科学家，被认为是计算机编程和软件开发领域的先驱之一。

Hopper 是第一位利用高级语言编写程序的人之一，她参与了 COBOL（通用商务语言）编程语言的开发，也被称为「COBOL 的母亲」，她还是第一台电子数字计算机（Mark I）的程序员之一，知名的计算机程序术语「Debug」，典故正是来自葛丽丝发现电脑出错而排除误入电脑的飞蛾 (bug) 。

探索苍穹发现哈雷彗星的她：Caroline Lucretia Herschel

Caroline Herschel 是第一个以女性身份发现彗星的人，她发现了 8 颗彗星，其中最著名的是在 1786 年发现的哈雷彗星，也发现了数十个新的星系、星团和星云。

她与她的兄弟 William Herschel 合作，共同编制了大量恒星目录，这些目录对后来的天文学研究有很大的影响。

Herschel 是英国皇家天文学会的第一位女性会员，也是第一位接受英国皇家科学院金质奖章的女性。

如今在 Web3 与 AI 等前沿科技的世界里，仍有众多优秀的女性在发挥聪明才智，贡献她们的力量。

「当女性的力量慢慢地结合起来时，她们会变得无法被击败。」向前看，女神们将谱写更华美而恢弘的篇章。