What can I do with Discover
discoveryBanners
Trending topics
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-5.94%
USELESS
USELESS-4.37%
IKUN
IKUN-2.58%
gib
gib+3.18%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+4.04%
ALON
ALON+2.27%
LAUNCHCOIN
LAUNCHCOIN-9.55%
GOONC
GOONC+3.81%
KLED
KLED+9.73%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0.25%
Boopa
Boopa+0.87%
PORK
PORK0.00%
Math, Inc.
Math, Inc.
Dec 5, 15:56·
We have verified the security of the Fast Reed–Solomon Interactive Oracle Proof (FRI) protocol - a cornerstone of modern transparent, STARK-style zero-knowledge proofs - by autoformalizing "Succinct Proofs and Linear Algebra" by Evans-Angeris with Gauss.