Podcasts about prover

In this episode we talk with Nicolas Tabareau, the Head of Gallinette, one of the main teams which develop the Rocq theorem Prover at Inria. The original idea of this interview is to talk about the rebranding from Coq into Rocq, which is very exciting to our community. However, Nicolas has such a prolific research career that I couldn't miss the opportunity to get him to talk so much more about it. So in this conversation we talk about his early publications in neuroscience, his views on Category Theory applied to Type Theory, Rocq's rebranding, and the institution around it, MetaRocq and the conceptual boundaries of certifying a theory inside itself. Of course we wouldn't miss the opportunity to also discuss how Rocq view the growing influence that Lean is gaining in our community. Links Type Theory Forall Store Type Theory Forall Website Nicolas Tabareau Website MetaRocq Github

Patirties ir šeimos vienybės Zakų šeimos aruode netrūksta. Ūkio pradininkas Kęstutis Zakas sako, kad žemę pradėjo dirbti su arkliu, o štai dabar gali pasidžiaugti ir ūkyje dirbančiu robotu, kuris leidžia išvengti sunkaus rankinio darbo. Zakai augina mėgstamiausias lietuvių daržoves: bulves, morkas, agurkus, kopūstus ir kita bei jas perdirba. Lietuvos daržovių augintojų asociacijos direktorė Indrė Lukoševičienė pabrėžia investavimo į technologijas svarbą.10 metų seniausią Spelta kviečių veislę auginantis biodinaminio ūkio savininkas Arūnas Martinėlis iš Levandiškio kaimo, Širvintų rajone, įsirengė ir malūną. Iš Spelta miltų galima iškepti ekologiškas bei visavertę maistinę vertę turinčias bandeles, blynus, duoną.Rubrika „Gamtininko komentaras“. Aukštaitijos nacionalinis parkas ir Labanoro regioninis parkas pasižymi labai turtinga laumžirgių fauna. Šiuose parkuose gyvena 61 laumžirgių rūšis iš 69 aptiktų Lietuvoje. Kuo laumžirgiai svarbūs stebint klimato kaitos procesus papasakos aplinkosaugininkas Andrejus Gaidamavičius.Ved. Rūta Simanavičienė

Meditação de 17 de abril de 2025Extraída do devocional Manancial, publicação da União Feminina Missionária Batista do BrasilTítulo: Meus Deus proveráTexto: Ney LadeiaLeitura e Edição: Samuel LimaBG: A voz de Jesus (384 CC) - "In the garden" by Josh Snodgrass

What if your brain is less like a truth detector and more like a belief-confirming machine? In this episode, we dive into one of Robert Anton Wilson's most potent mind-bombs: the Thinker-Prover dynamic from Prometheus Rising.Your Thinker forms beliefs. Your Prover goes out and finds the evidence. Whatever you believe—threat or magic, doom or synchronicity—your Prover will prove it. That's not just metaphor; it's the engine behind your reality tunnel.We explore:The brain as a bio-computer with confirmation biasReality tunnels and how they're builtBelief as a tool—not a truthHow to practice belief engineering as a path to freedomThis isn't about being right—it's about being free. About wielding belief like a magician, not wearing it like a leash. Listen now and install a new lens. Reality's more malleable than you think.

Freeedag! Förbaskat trevligt, hoppas att vädret bjuder in för en kall dryck ute i solen. Vi pratar lite skit och nyheter, tänka sig! Även detta avsnitt… Avsnittet banar också premiär för ett nytt koncept! Vi ska prova oss igenom Sveriges 25 landskap och dricka en dryck från varje landskap. Det börjar med Blekinge, mycket trevligt. Och vi önskar hjälp från er! Har du ett hett tips om en kanondryck från ditt landskap? Skicka in på denna plattform eller skicka ett mejl. Stort tack på förhand! Avsnittet finns på din favoritplattform för podcasts! Trevlig helg och lyssna gott!

Mensagem: Ageu 2: 1-9Pregação: Pr. Ricardo MoreiraIgreja Batista SulAv. Dr. Paulo Japiassu Coelho, 170, Cascatinha - Juiz de Fora/MGTel.: (32) 3025

Kovo 15-oji Lietuvoje taps istorine diena – pirmą kartą į vieną erdvę susirinks Tarptautinio bakalaureato (TB) atstovai, mokyklų vadovai, politikai ir švietimo vizionieriai. „IB Open Day 2025 Vilnius" - tai ne šiaip formalus renginys – jis rodo sparčią TB plėtrą mūsų šalyje.Ir kuo daugiau kyla skandalų dėl nacionalinės programos: per plačių programų, mokytojų nespėjimo išdėstyti mokiniams temų, vertinimo neobjektyvumo, vadovėlių nebuvimo, valstybinių brandos egzaminų užduočių sunkumo ir nepalyginamumo, pagal metus, klaidų egzaminų užduotyse, apeliacijų atmetimo, tuo sparčiau plečiasi ratas tiek privačių, tiek savivaldybių mokyklų, norinčių pereiti į skaidrią, pasauliniu mastu pripažintą ir puikiai vertinamą TB programą.Šiuo metu akreditacijos tapti tarptautinio bakalaureato mokyklomis siekia daugiau nei 20 Lietuvos mokyklų. O TB programą jau vykdo tokie flagmanai kaip Vilniaus licėjus, Kauno Jėzuitų gimnazija, Šiaulių Didždvario gimnazija, Vilniaus Vytauto Didžiojo gimnazija, Tauragės „Versmės", Alytaus šv. Benedikto gimnazija, Kauno Jono Jablonskio, Klaipėdos licėjus, Vilniaus privati gimnazija bei net keletas tarptautinių mokyklų. Be to, TB diegia ir kai kurios progimnazijos ar net pradinės mokyklos. Ypač aktyvios sostinės ir Kauno mokyklos.Tačiau ar tikrai tarptautinis bakalaureatas yra naujoji Lietuvos švietimo ateitis? Skeptikai muša pavojaus varpais, šią programą vadindami elitistine, socialiai neteisinga, prieinama tik privilegijuotų, turtingesnių šeimų atžaloms. Mat tam, kad galėtum mokytis, pagal TB programą net ir savivaldybės ar valstybinėje mokykloje, tavo tėvai turi pridėti nemenką sumą už egzaminus.Finansavimas – viena opiausių TB mokyklų ir ar klasių temų. Mat nors kai kurios savivaldybės skiria lėšų TB diegimui, realybė tokia, kad daugeliui mokyklų trūksta pinigų tiek mokytojų kvalifikacijos kėlimui, tiek moderniai infrastruktūrai. Mokytojų, galinčių dėstyti pagal TB metodiką, taip pat trūksta – tai sudėtinga, specifinių žinių ir gebėjimų reikalaujanti programa.Ir vis dėlto – tarptautinis bakalaureatas populiarėja. Jo šalininkai pabrėžia, kad ši programa ruošia mokinius ne „egzaminų kalimui“, o kritiniam mąstymui, kūrybiškumui ir savarankiškam problemų sprendimui. Tai bilietas į geriausius pasaulio universitetus ir konkurencingą tarptautinę rinką. Bet ar tarptautinis bakalaureatas taps masiniu reiškiniu Lietuvoje, ar išliks nišiniu pasirinkimu akademiškai stipriausiems?LRT radijo švietimo laidoje diskutuoja Rytis Komičius, Vilniaus Vytauto Didžiojo gimnazijos direktorius, Lietuvos Tarptautinio bakalaureato mokyklų asociacijos bendraįkūrėjas, Laura Armanavičė-Geffen, Vilniaus Žemynos progimnazijos direktorė, ir Lina Viršilienė, Kauno Jurgio Dobkevičiaus progimnazijos direktorė.Ved. Jonė Kučinskaitė.

If you've heard me speak for more than five minutes you've probably caught me dropping a Robert Anton Wilson reference (or several). Wilson is one of the most interesting (and underappreciated) writers I've ever come across — a Nostradamus for modern times. I was delighted to sit down with Gabriel Kennedy, author of the excellent biography Chapel Perilous: The Life and Thought Crimes of Robert Anton Wilson. I could talk about this stuff for days, and we had a blast discussing Wilson's ideas, influence and impact. Consider it a beginner's guide to avoiding cosmic schmuckery. I hope you enjoy this conversation as much as I did. For the full transcript, episode takeaways, and bucketloads of other goodies designed to make you go, “Hmm, that's interesting!”, check out our Substack. Important Links: Chapel Perilous: The Life and Thought Crimes of Robert Anton Wilson; by Gabriel Kennedy The Thinker and the Prover; by Jim O'Shaughnessy Gabriel's Substack Show Notes: The most interesting man of the last fifty years? How can we escape chapel perilous? The anti-determinist, rock & roll philosophy of Bob Wilson Tune in: a 30 minute masterclass on the influences, ideas and impact of Robert Anton Wilson How to avoid becoming a cosmic schmuck Who influenced Wilson the most? Why you should read Wilson Gabriel as World Emperor MORE! Books & Articles Mentioned: The Thinker and the Prover; by Jim O'Shaughnessy Chapel Perilous: The Life and Thought Crimes of Robert Anton Wilson; by Gabriel Kennedy Prometheus Unbound by Robert Anton Wilson Quantum Psychology: How Brain Software Programs You and Your World by Robert Anton Wilson The Illuminatus! Trilogy by Robert Anton Wilson and Robert Shea Cosmic Trigger Volume I: Final Secret of the Illuminati by Robert Anton Wilson The New Inquisition: Irrational Rationalism and the Citadel of Science by Robert Anton Wilson Prometheus Rising by Robert Anton Wilson Quantum Psychology: How Brain Software Programs You and Your World by Robert Anton Wilson The Waste Land by T. S. Eliot From Ritual to Romance by Jessie L. Weston Finnegans Wake by James Joyce Science and Sanity: An Introduction to Non-Aristotelian Systems and General Semantics by Alfred Korzybski On the Einstein Podolsky Rosen Paradox; by John S. Bell How the Hippies Saved Physics: Science, Counterculture, and the Quantum Revival by David Kaiser Character Analysis by Wilhelm Reich Man Meets Dog by Konrad Lorenz

Deus Proverá | Pr Jonathas Souza - 23.02.2025 by Mensagens semanais da Mosaico

 In this week's roundup, the Roundup crew discusses the launch of Unichain, Succinct's Prover Network testnet, and the economics of being a prover. Additionally, they “A Crisis of Trust”, and how ZKPs can be applied outside of crypto. Finally, they end the episode with discussion on BOLD and fault proofs. Enjoy! Resources Succinct's Prover Network Testnet Announcement: https://x.com/SuccinctLabs/status/1888999158541087134  A Crisis of Trust: https://x.com/SuccinctLabs/status/1889749373854294295 – Join us at DAS NYC 2025!  Use code EXPANSION10 for a 10% discount: https://blockworks.co/event/digital-asset-summit-2025-new-york - - Follow Jill: https://x.com/jillrgunter Follow Nick: https://x.com/nickwh8te Follow Uma: https://x.com/pumatheuma Follow Mike: https://x.com/MikeIppolito_ Follow Expansion: https://x.com/ExpansionPod_ Subscribe on YouTube: https://www.youtube.com/@ExpansionPod Subscribe on Apple: http://apple.co/4bGKYYM Subscribe on Spotify: http://spoti.fi/3Vaubq1 Get top market insights and the latest in crypto news. Subscribe to Blockworks Daily Newsletter: https://blockworks.co/newsletter/ -- Timestamps: (00:00) Introduction (02:42) Unichain Goes Live (27:00) Succinct's Prover Network Testnet (33:07) Economics of Being a Prover (43:13) A Crisis of Trust (56:55) BOLD & Fault Proofs - - Disclaimer Expansion was kickstarted by a grant from the Celestia Foundation. Nothing said on Expansion is a recommendation to buy or sell securities or tokens. This podcast is for informational purposes only, and any views expressed by anyone on the show are solely our opinions, not financial advice. Michael, Nick, and our guests may hold positions in the companies, funds, or projects discussed.

Asteroiden Bennu har visat sig bära på molekyler viktiga för liv. Men en annan asteroid riskerar att träffa jorden 2032 och ställa till förödelse. Lyssna på alla avsnitt i Sveriges Radio Play. Rymdsonden Osiris-ReX har hämtat hem markprover från Bennu och de har visat sig innehålla både baserna som finns i vår arvsmassa och aminosyror som bygger upp våra proteiner. Ungefär samtidigt som analyserna blev klara upptäckte ATLAS-teleskopet i Chile en annan asteroid, 2024 YR4, som med en procents risk kan falla ner på jorden år 2032. Den kan ställa till stor lokal skada men risken tros minska när asteroidens bana blir mer känd.Vi hör också om den nya dokumentären i serien ”Hempas kamp”. Hempa Posse som efter en sepsis förlorade halva armarna och halva benen, och behövde få en njure transplanterad, lever idag med post-sepsis.Programledare och producenter:Gustaf Klaringustaf.klarin@sverigesradio.seCamilla Widebeckcamilla.widebeck@sverigesradio.se

Proverbios de el rey Solomon y Salmos de su papa el rey David. Instrucciones de ser fiel, por y con El Espíritu Santo de Jesus .

Proverbios de el rey Solomon y Salmos de su papa el rey David. Instrucciones de ser fiel, por y con El Espíritu Santo de Jesus . --- Support this podcast: https://podcasters.spotify.com/pod/show/fernando-m-de-oca/support

Maracanà con Marco Piccari, Stefano Impallomeni e Niccolò Ceccarini. Ospiti: Silvio Pagliari:" Giuntoli proverà a prendere Skriniar e poi un altro attaccante, ma non sarà un mercato facile non avendo un grande portafoglio."

Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities. Links Lean4Lean github Metamath Metamath0 Lean Foundations Discussion Large Elimination / Singleton Elimination

Combatting robocalls has been and continues to be an important area of enforcement for State Attorneys General, as we have previously reported. On October 18, 2024, the Anti-Robocall Multistate Litigation Task Force (Task Force), comprised of 51 bipartisan State AGs, released a notice letter outlining concerns that a Florida-based company was ​“transmitting suspected illegal robocall traffic on behalf of one or more of its customers” and cautioning that the company ​“should cease transmitting any illegal traffic immediately.” The letter, which was addressed to iDentidad Advertising Development LLC dba iDentidad Telecom (iDentidad), is illustrative of the collaboration not only among State AGs, but also with federal agencies and private industry, on the issue of robocalls. https://www.kelleydrye.com/viewpoints/blogs/ad-law-access/state-ags-aim-spotlight-on-robocall-gateway-service-provider Paul Singer psinger@kelleydrye.com (202) 342-8672 www.kelleydrye.com/Our-People/Paul-L-Singer Abigail Stempson astempson@kelleydrye.com (202) 342-8678 www.kelleydrye.com/Our-People/Abigail-Stempson Beth Chun bchun@kelleydrye.com (202) 342-8671 www.kelleydrye.com/Our-People/Beth-Bolen-Chun Jenny Wainwright jwainwright@kelleydrye.com (202) 342-8649 https://www.kelleydrye.com/people/jennifer-rodden-wainwright Hosted by Simone Roach Subscribe to the Ad Law Access blog - www.kelleydrye.com/subscribe Subscribe to the Ad Law News Newsletter - www.kelleydrye.com/subscribe View the Advertising and Privacy Law Resource Center - www.kelleydrye.com/advertising-and-privacy-law Find all of our links here linktr.ee/KelleyDryeAdLaw

Infinite Loops Key Takeaways  Investing is a service-based business; focus on the karma! “The four horsemen of the investment apocalypse are fear, greed, hope, and ignorance. And only ignorance is something that you can address.” –  Jim O'ShaughnessyTake actions that increase the surface area of your luck Ironically, in a changing world, playing it safe is one of the riskiest things that you can doLearn how you are going to react to every phase of the market You have to be selective, but you also have to be okay with rejection  Trust is a function of experience, and experience is a function of timeYou do not need to be right every time to dominate; the best traders in history are right just a little more than 50% of the time  How to add value early in your career: Find the 10% of a person's life that they hate, and make that problem go away for themThe investing industry is based on trust and reputation – it is wise to remember thisRead the full notes @ podcastnotes.orgLet me introduce you to the four horsemen of the investment apocalypse: Fear. Greed. Hope. Ignorance. Notice anything? Three of four are emotions. I've long argued that effective investing is far more about emotional control than technical know-how (although the latter certainly helps!) By hook or by crook, the best investors can find a way to tame their pesky emotional impulses and overcome that primal urge to respond impulsively to panic, passion, or pride. My guest, the razor-sharp Ateet Ahluwalia, is a veteran trader and investor who has spent well over 15 years at the coalface, from trading at Goldman at the dawn of the financial crisis to his current role as founder and managing director of the venture capital firm Island Green Capital Management. As you'll hear from our conversation, Ateet has built an insanely deep understanding of the emotional constitution required to succeed in finance and venture capital, which informs his approach to risk management, hiring, investing, due diligence, and everything in between. I hope you enjoy our wide-ranging conversation, whose implications extend well beyond investing. For episode takeaways, a full transcript, and various other goodies, check out our Substack. Important Links: The Thinker and The Prover; by Jim O'Shaughnessy Ateet's LinkedIn Island Green Capital Management Show Notes: Why Venture Capitalists Should Shun the Glory “In a changing world, playing it safe is one of the riskiest things you can do." Risk: Why Size Matters The Emotional Constraints of Investing How to Find Out What Someone Really Wants The Purifying Power of Mistakes Pick up the Phone! Being Humbled by the Market Public vs Private Investing Why Hit Rates Matter Assessing the Macro Position Bullshitting, Question-Dodging, and Other Red Flags The Many Bosses of the Venture Capitalist Be a Painkiller Ateet as Emperor of the World MORE! Books Mentioned: The Enlightenment Trilogy; by Jed McKenna Venture Deals: Be Smarter Than Your Lawyer and Venture Capitalist; by Brad Feld & Jason Mendelson Financial Intelligence: A Manager's Guide to Knowing What the Numbers Really Mean; by Karen Berman, Joe Knight & John Case Adventures of a Bystander; by Peter F. Drucker

Let me introduce you to the four horsemen of the investment apocalypse: Fear. Greed. Hope. Ignorance. Notice anything? Three of four are emotions. I've long argued that effective investing is far more about emotional control than technical know-how (although the latter certainly helps!) By hook or by crook, the best investors can find a way to tame their pesky emotional impulses and overcome that primal urge to respond impulsively to panic, passion, or pride. My guest, the razor-sharp Ateet Ahluwalia, is a veteran trader and investor who has spent well over 15 years at the coalface, from trading at Goldman at the dawn of the financial crisis to his current role as founder and managing director of the venture capital firm Island Green Capital Management. As you'll hear from our conversation, Ateet has built an insanely deep understanding of the emotional constitution required to succeed in finance and venture capital, which informs his approach to risk management, hiring, investing, due diligence, and everything in between. I hope you enjoy our wide-ranging conversation, whose implications extend well beyond investing. For episode takeaways, a full transcript, and various other goodies, check out our Substack. Important Links: The Thinker and The Prover; by Jim O'Shaughnessy Ateet's LinkedIn Island Green Capital Management Show Notes: Why Venture Capitalists Should Shun the Glory “In a changing world, playing it safe is one of the riskiest things you can do." Risk: Why Size Matters The Emotional Constraints of Investing How to Find Out What Someone Really Wants The Purifying Power of Mistakes Pick up the Phone! Being Humbled by the Market Public vs Private Investing Why Hit Rates Matter Assessing the Macro Position Bullshitting, Question-Dodging, and Other Red Flags The Many Bosses of the Venture Capitalist Be a Painkiller Ateet as Emperor of the World MORE! Books Mentioned: The Enlightenment Trilogy; by Jed McKenna Venture Deals: Be Smarter Than Your Lawyer and Venture Capitalist; by Brad Feld & Jason Mendelson Financial Intelligence: A Manager's Guide to Knowing What the Numbers Really Mean; by Karen Berman, Joe Knight & John Case Adventures of a Bystander; by Peter F. Drucker

Rootstock Chief Scientist, Sergio Demian Lerner, regards the upcoming Bitcoin halving is a moment of celebration for the community and highlights the importance of transaction fees for the sustainability of the network.This episode is sponsored by the Stellar Community FundFollow the show here for more.In this installment of "The Protocol," hosts Brad Keoun, the founding editor of The Protocol Newsletter, and tech journalists Sam Kessler and Margaux Nijkerk, dive into are joined by Sergio Demian Lerner, Chief Scientist at Rootstock, to discuss his research on the Patoshi pattern and the early mining of Bitcoin. He explains how he identified that Satoshi Nakamoto had mined approximately 1.1 million Bitcoins and had never spent them, which built trust in the system. Sergio also shares his insights on the upcoming Bitcoin halving and the importance of transaction fees for the sustainability of the network. TakeawaysSergio Demian Lerner identified the Patoshi pattern, which revealed that Satoshi Nakamoto had mined approximately 1.1 million Bitcoins and had never spent them, building trust in the system.The upcoming Bitcoin halving is a moment of celebration for the community and highlights the importance of transaction fees for the sustainability of the network.Rootstock aims to bring the Ethereum Virtual Machine (EVM) to Bitcoin and focuses on financial inclusion and the use of Bitcoin collateralized stablecoins.The cultures of Ethereum and Bitcoin differ in terms of complexity, centralization, and fragmentation, with Ethereum being more open and welcoming to developers.The introduction of BitBM and the development of bridges on Bitcoin may lead to changes in the Bitcoin ecosystem, such as the addition of new opcodes for more efficient operations.Chapters00:00 Uncovering the Patoshi Pattern13:51 Rootstock: Bringing the EVM to BitcoinSign Up for THE PROTOCOL NEWSLETTER EPISODE LINKS | Polygon Acquires Ethereum Scaling Startup Mir for $400M Polygon Plans 'AggLayer,' in Bid to Synthesize Modular, Monolithic Blockchains Polygon Releases 'Type 1 Prover,' Claiming Milestone Set by Ethereum's Vitalik Buterin Polygon, StarkWare Tout New 'Circle STARKs' as Breakthrough for Zero-Knowledge Proofs -From Our Sponsor: The Stellar Community Fund (SCF) is an open-application awards program that draws on community input to support developers and startups building on Stellar and Soroban. Accelerate your web3 project today.Apply for Funding at communityfund.stellar.org-The Protocol has been produced and edited by senior producer Michele Musso and our executive producer is Jared Schwartz. Our theme song is “Take Me Back” by Strength To Last.See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Brendan Farmer, Co-Founder of Polygon, gives an overview of Polygon's Ecosystem and its adoption and benefits of the Ag Layer.This episode is sponsored by the Stellar Community FundFollow the show here for more.In this installment of "The Protocol," hosts Brad Keoun, the founding editor of The Protocol Newsletter, and tech journalists Sam Kessler and Margaux Nijkerk, dive into the strategy and vision behind the Ag layer, which aims to solve the problem of L2 fragmentation on Ethereum with Brendan Farmer Co-Founder of Polygon.Polygon is focused on building a unified environment for value, liquidity, and state in the Ethereum ecosystem. The Ag layer connects different mini-ecosystems within Polygon and allows chains to plug into the liquidity and value that already exists.TakeawaysPolygon's strategy is to build a unified environment for value, liquidity, and state in the Ethereum ecosystem.The Ag layer connects different mini-ecosystems within Polygon and allows chains to plug into existing liquidity and value.The Ag layer includes a builder marketplace where builders can simultaneously build blocks across multiple chains, providing users with a seamless experience.The goal is to create a positive-sum outcome for all chains involved and avoid fragmentation in the ecosystem.Chapters00:00 Introduction and Guest Introduction01:19 Polygon's Strategy and Tech Shift06:50 Analogies for Understanding the Ag Layer07:26 Adoption and Benefits of the Ag Layer09:36 Overview of Polygon's Ecosystem10:54 Polygon Today: POS Chain and ZKVM Chain12:28 Polygon's Technological Innovations14:35 POS Chain and the Future of Polygon19:42 The Ag Layer as a Connector22:02 Competition and Collaboration in the Industry23:36 Avoiding Fragmentation and Rent-Seeking25:23 The Challenge of Monetizing Users in Crypto27:44 The Builder Marketplace and Block Building28:16 MEV and the Ag Layer32:16 Addressing Outages and Ensuring Stability34:44 Precautions and Warnings for Users38:27 The Eigen Layer and L2 Vision40:17 The Den Koon Upgrade and the Blob Market-Sign Up for THE PROTOCOL NEWSLETTER EPISODE LINKS | Polygon Acquires Ethereum Scaling Startup Mir for $400M Polygon Plans 'AggLayer,' in Bid to Synthesize Modular, Monolithic Blockchains Polygon Releases 'Type 1 Prover,' Claiming Milestone Set by Ethereum's Vitalik Buterin Polygon, StarkWare Tout New 'Circle STARKs' as Breakthrough for Zero-Knowledge Proofs -From Our Sponsor: The Stellar Community Fund (SCF) is an open-application awards program that draws on community input to support developers and startups building on Stellar and Soroban. Accelerate your web3 project today.Apply for Funding at communityfund.stellar.org-The Protocol has been produced and edited by senior producer Michele Musso and our executive producer is Jared Schwartz. Our theme song is “Take Me Back” by Strength To Last.See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.