💥🔫 現在是Glock時間！[代碼庫 + 論文] 鏈上成本減少99.8%。 優雅且高效地驗證任何事情在[Bitcoin]上。

共享辦公空間的墨菲定律 - 一開始超級安靜，然後你開始通話時，其他人也都開始了。

我怎麼會成為一名數學家的？ （長話短說） 小時候，我爸爸對我說：“我們家不擅長數學。”而我更喜歡足球和約會，而不是任何需要動腦子的事情，於是我接受了這個事實。 作為本科生，我學習生物學和計算機科學，想進入神經科學（我最後嫁給了我一位受人尊敬的教授的女兒。但那是另一個故事）。 我意識到我真的很喜歡數學課程，而討厭任何應用課程——無論是編程還是生物實驗。事實上，每個學期開始時，我都會去找當時的本科院長（諾亞·尼薩教授，現為StarkWare的顧問）談判，要求用更多的數學課程替代編程課程（這也是我至今不懂編程的原因；儘管《C++入門》是我作為助理教授教授的第一門課程。但那也是另一個故事。） 然後，作為研究生，我想進入機器學習，但那位備受追捧的教授（塔利·提什比，願她安息）已經有了無數學生。 我在一門由一位博士後教授的計算複雜性課程上，當他被阿維·維格德森替換進行一節講座時，我當時對他一無所知（他的照片出現在海報上，因為他剛獲得了內文林獎，但作為一個愚蠢的年輕研究生，我不知道那意味著什麼）。 阿維談到一些人現在試圖正式證明解決P與NP猜想是不可能的。我對此感到著迷。於是我告訴他：我想把這個作為我的碩士項目。 於是開始了一段追求的時期。阿維不確定我是否適合他（我的數學成績還不錯，但我從來不是那種直A學生）。於是，他給我扔了一本關於證明複雜性的書，說：讀完並給我總結一下。 我把那本書從頭到尾讀了三遍，但除了介紹章節外，我一句話也沒理解（今天我知道這更可能是作者的錯，而不是我自己的愚蠢。但那是另一個故事）。 幾周後，仍然對這個主題一無所知，阿維讓我解釋一篇關於“多項式演算證明的度和大小”的最新論文。我們坐在他家裡，我解釋。 在某個時刻，他問：“為什麼這不能應用於分辨率證明系統？”（分辨率是最重要和基本的命題演算證明系統）。我眯起眼睛，想了一會兒，說：“哦，但可以，這就是方法”，並將相同的證明方法應用於分辨率。 阿維非常興奮。 我說：“讓我們給之前論文的作者發封郵件”，想着如果我理解這些東西，那肯定不是什么深奧的內容。 阿維堅持我們把它寫成論文。每隔幾天我試圖說服他放棄，只發封郵件，但他堅持，我聽從了。 我做得真是太好了。它最終成為我在STARK/SNARK論文之前被引用最多和最重要的論文。 在那篇論文之後，又有幾篇論文問世。每一篇，我都確信這只是個值得發郵件的觀察，而不是深奧的數學。我看到所有這些其他論文，難以理解，而相比之下，我自己的東西卻是如此清晰簡單。 我花了很多年才意識到，這就是數學的進步方式。你花很多時間內化一些理論概念，然後有一天你“看到了”。然後在你看來，一切都清晰簡單。但這對別人來說卻很複雜。 今天，當我不得不回顧我早期的一些論文時，我發現自己眯起眼睛，撓著頭，說：“天哪，這真是嚴肅的東西，他們是怎麼想到這些的？”:-) 在那些初步的數學突破之後，阿維建議我不僅僅做碩士，而是實際上做博士，這就是我成為一名理論計算機科學家的原因（這是一種數學家）。 完。