 
                                Inna | 𝔽rAI
@innessa199
ID: 1638297636456259589
21-03-2023 21:54:06
5,5K Tweet
123 Followers
1,1K Following
 
        This is it… Our Early Community Program (ECP) is open. From your support to shared success for L2s. How to join? Complete missions, play APT game, and earn an OAT on Galxe Quest. Details below.🏃
 
         
         
        Succinct community is collaborating with steady teddys 🧸⛓️! We're hosting an collaborative art contest and an IRL challenge for our communities! Prizes include: Succinct Codes and Stars, Stage 2 WLs, and 10 steady teddys nfts 🧸! Read below for how to participate! 👇
 
                        
                    
                    
                    
                 
         
         
         
         
        We’re using Lean to formally verify SP1’s correctness in collaboration with Nethermind, experts in formal methods and ZK security.
 
                        
                    
                    
                    
                 
        On Tuesday, May 13, we informed Justin Drake that we had achieved a major milestone: Real-Time Ethereum proving with SP1 Hypercube. His reaction was priceless. Justin generously recorded this segment to explain why real-time proving is a game-changer for Ethereum’s roadmap.
 
         
        Yesterday we announced round 2 of our formal verification efforts—this time with Nethermind. We collaborated with them to formally verify our SP1 u32 add/sub circuit with Lean, and set up a foundation for formally verifying all of our circuits over the next few months. Our
 
         
         
         
         
         
         
        Just in, digital gold is becoming more programmable. Fiamma🦙🔥 | Beta Testnet Live’ BitVM2 bridge has integrated with the Succinct Prover Network—enabling secure and efficient ZKP verification on Bitcoin.
 
                        
                    
                    
                    
                 
         
         
                         
                         
                        