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等前沿科技的世界里,仍有众多优秀的女性在发挥聪明才智,贡献她们的力量。

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