正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

RISC Zero is building the first formally verified RISC-V zkVM. Using Veridise's Picus tool, we're mathematically proving determinism in our circuits. Our goal: A zkVM that’s both incredibly fast and provably secure, so developers never have to compromise.

RISC Zero

43,436 subscribers

49,947 次观看 • 1 年前 •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

We’re excited to announce a partnership with Lunal, the fastest way to deploy applications in Trusted Execution Environments (TEEs), offering zero configuration, guaranteed privacy, automatic scaling, and verifiable computation. As Nexus continues to build the world’s most powerful zk-powered supercomputer, ensuring privacy and integrity for sensitive workloads is essential. Through this partnership, we’ll deeply integrate Lunal’s TEE tooling across our zkVM and broader ecosystem, unlocking new capabilities for developers, enterprises, and institutions building high-stakes applications.

We’re excited to announce a partnership with Lunal, the fastest way to deploy applications in Trusted Execution Environments (TEEs), offering zero configuration, guaranteed privacy, automatic scaling, and verifiable computation. As Nexus continues to build the world’s most powerful zk-powered supercomputer, ensuring privacy and integrity for sensitive workloads is essential. Through this partnership, we’ll deeply integrate Lunal’s TEE tooling across our zkVM and broader ecosystem, unlocking new capabilities for developers, enterprises, and institutions building high-stakes applications.

Nexus

10,497 次观看 • 1 年前

31,250,000 #ZKL token, SOLD OUT at 25mins! 🎉 🙌 A massive thank you to everyone who participated and contributed to the success of this incredible event. Your enthusiasm and support mean the world to us! 🚀 The zkLink journey is just beginning, and we're thrilled to have such an amazing community by our side. #zkLink #ZKLCommunitySale #ZKL #zkVM #L3

31,250,000 #ZKL token, SOLD OUT at 25mins! 🎉 🙌 A massive thank you to everyone who participated and contributed to the success of this incredible event. Your enthusiasm and support mean the world to us! 🚀 The zkLink journey is just beginning, and we're thrilled to have such an amazing community by our side. #zkLink #ZKLCommunitySale #ZKL #zkVM #L3

zkLink | Aggregated Rollup 🐊

133,644 次观看 • 2 年前

Onboarding users in seconds shouldn't compromise security. And through a new integration with our Paradigm sister co Privy, it's now possible. Privy's wallet infrastructure and simple API is the easiest way to bring users onchain. It's fast, secure, and a crucial part of our Mainnet this quarter as we onboard the next million domain users. Experience it at

Onboarding users in seconds shouldn't compromise security. And through a new integration with our Paradigm sister co Privy, it's now possible. Privy's wallet infrastructure and simple API is the easiest way to bring users onchain. It's fast, secure, and a crucial part of our Mainnet this quarter as we onboard the next million domain users. Experience it at

Doma Protocol

65,617 次观看 • 1 年前

ANNOUNCEMENT: BOOM! Both Ed Krassenstein and I have decided to reinvest some of our Twitter Earnings in building out our podcast KrassenCast. KrassenCast is now a Verified Organization and We are both affiliates. Let me know what your thoughts are on our new Badge. More plans and details coming soon. We believe that Twitter Video will open up opportunities for those on the right and the left to better communicate and create a dialogue that hopefully will be a net positive for society.

ANNOUNCEMENT: BOOM! Both Ed Krassenstein and I have decided to reinvest some of our Twitter Earnings in building out our podcast KrassenCast. KrassenCast is now a Verified Organization and We are both affiliates. Let me know what your thoughts are on our new Badge. More plans and details coming soon. We believe that Twitter Video will open up opportunities for those on the right and the left to better communicate and create a dialogue that hopefully will be a net positive for society.

Brian Krassenstein

21,002,684 次观看 • 3 年前

We've finally manufactured our first batch of Rekt Drinks. Took about 6 months from idea to result, we literally have zero experience in the beverage industry so it's been a good learning process. We'll be having our Launch Party in Paris this month, and expect to see us in NYC in April and Lisbon in May. We'll also be conducting a small online sale for our first edition cans so stay tuned for that. Big props to B.A.R.E.Ink for being the MVP in this process. We're just getting started.

We've finally manufactured our first batch of Rekt Drinks. Took about 6 months from idea to result, we literally have zero experience in the beverage industry so it's been a good learning process. We'll be having our Launch Party in Paris this month, and expect to see us in NYC in April and Lisbon in May. We'll also be conducting a small online sale for our first edition cans so stay tuned for that. Big props to B.A.R.E.Ink for being the MVP in this process. We're just getting started.

OSF

50,523 次观看 • 2 年前

🚨🇺🇸CHUCK SCHUMER: OUR GOAL IS CITIZENSHIP FOR ALL 11M UNDOCUMENTED IMMIGRANTS "The only way we're going to have a great future in America is if we welcome and embrace immigrants, the dreamers, and all of them. Our ultimate goal is to help the dreamers but also create a path to citizenship for all 11 million or however many undocumented immigrants are here." Source: Breaking911

🚨🇺🇸CHUCK SCHUMER: OUR GOAL IS CITIZENSHIP FOR ALL 11M UNDOCUMENTED IMMIGRANTS "The only way we're going to have a great future in America is if we welcome and embrace immigrants, the dreamers, and all of them. Our ultimate goal is to help the dreamers but also create a path to citizenship for all 11 million or however many undocumented immigrants are here." Source: Breaking911

Mario Nawfal

39,092,669 次观看 • 1 年前

🦈: honestly, both of us have been to hong kong before but we’ve never been here together. this time is our first time together and i’m so happy that we got to come together and so many people came to see us 🥺 WILLIAMEST STORY IN HK #WilliamEst1stFMinHongKong

🦈: honestly, both of us have been to hong kong before but we’ve never been here together. this time is our first time together and i’m so happy that we got to come together and so many people came to see us 🥺 WILLIAMEST STORY IN HK #WilliamEst1stFMinHongKong

𝑛𝑎𝑛𝑎 ◡̈

20,029 次观看 • 10 个月前

Hey all :) The demo for our game Islands&Trains is available right now. It's a supercozy and relaxing building game. We're only 2 developers, so this is huge milestone for us 🥲 Please share, retweet🔃 & wishlist to help us - we truly appreciate it💛 #indiegame #gamedev

Hey all :) The demo for our game Islands&Trains is available right now. It's a supercozy and relaxing building game. We're only 2 developers, so this is huge milestone for us 🥲 Please share, retweet🔃 & wishlist to help us - we truly appreciate it💛 #indiegame #gamedev

Fabi Smith | Islands & Trains OUT NOW

140,107 次观看 • 3 年前

Our little family is growing - Baby Anderson coming in September of 2025! We are both so incredibly excited about this new chapter of our lives and the journey that’s ahead as mom and dad. After finding out the week before Daytona it’s been crazy hard keeping it a secret, but we can’t wait to celebrate the blessing that this little one will be.

Our little family is growing - Baby Anderson coming in September of 2025! We are both so incredibly excited about this new chapter of our lives and the journey that’s ahead as mom and dad. After finding out the week before Daytona it’s been crazy hard keeping it a secret, but we can’t wait to celebrate the blessing that this little one will be.

Jordan Anderson

17,217 次观看 • 1 年前

We are incredibly excited to grow TSS by adding Brent Tonisson and Aidan Khus to our team! Both of them are playing in Melbourne Regionals this weekend so be sure to give them a warm welcome to The Shuffle Squad! This is a #TSSWIN

We are incredibly excited to grow TSS by adding Brent Tonisson and Aidan Khus to our team! Both of them are playing in Melbourne Regionals this weekend so be sure to give them a warm welcome to The Shuffle Squad! This is a #TSSWIN

The Shuffle Squad

33,074 次观看 • 1 年前

🚜 Who do we think we are these days? 🚜 6 years ago we drilled our first 30 acres of barley. Using none of our own gear and fair to say, they were fairly mediocre crops, not because of how they got drilled but because we didn’t have the timings right. But you have to start somewhere. Fast forward to today, we will have 150ac of arable in the ground by the middle of next week for summer harvest. All using our own gear. It might not be a 5 or 6 furrow plough and it’s not a 4-6m drill but it does our job just grand. Investing in our “new to us” gear has pushed the farm on more than anything. Around our area, timing is key to sowing crops, the weather window is so small

🚜 Who do we think we are these days? 🚜 6 years ago we drilled our first 30 acres of barley. Using none of our own gear and fair to say, they were fairly mediocre crops, not because of how they got drilled but because we didn’t have the timings right. But you have to start somewhere. Fast forward to today, we will have 150ac of arable in the ground by the middle of next week for summer harvest. All using our own gear. It might not be a 5 or 6 furrow plough and it’s not a 4-6m drill but it does our job just grand. Investing in our “new to us” gear has pushed the farm on more than anything. Around our area, timing is key to sowing crops, the weather window is so small

Matthew Blair

21,521 次观看 • 3 个月前

What the fuck is China building? This is not a clip from movie, this is a real project in China. Due to the trade war, there’s a video of a Chinese guy said, “we both benefit from trade, U.S. and China. But only one of us is using the wealth to build for our people”. that is 🇨🇳

What the fuck is China building? This is not a clip from movie, this is a real project in China. Due to the trade war, there’s a video of a Chinese guy said, “we both benefit from trade, U.S. and China. But only one of us is using the wealth to build for our people”. that is 🇨🇳

chásè yú 👁‍🗨

2,760,435 次观看 • 1 年前

Thanks to everyone who got us to our initial Kickstarter goal and the first stretch goal all in ONE day! 🥳 Like dough, you all rose to the occasion! We still have plenty of other goals to hit like a Switch port and extra campaigns. So let's keep the ball of dough rolling!

Thanks to everyone who got us to our initial Kickstarter goal and the first stretch goal all in ONE day! 🥳 Like dough, you all rose to the occasion! We still have plenty of other goals to hit like a Switch port and extra campaigns. So let's keep the ball of dough rolling!

COLORGRAVE

20,416 次观看 • 11 个月前

It's exciting to see more and more influential voices turning to Bitcoin as a solution to inflation, censorship and manipulation. "If Bitcoin can be such an important tool to preserve freedom in an environment when the government, the financial institutions, the judicial systems are cracking down on our freedoms so so much and so so fast, then this is something really worth exploring." -Eva Vlaardingerbroek Don't miss our full interview on X, YouTube and all audio podcasting platforms.

It's exciting to see more and more influential voices turning to Bitcoin as a solution to inflation, censorship and manipulation. "If Bitcoin can be such an important tool to preserve freedom in an environment when the government, the financial institutions, the judicial systems are cracking down on our freedoms so so much and so so fast, then this is something really worth exploring." -Eva Vlaardingerbroek Don't miss our full interview on X, YouTube and all audio podcasting platforms.

Natalie Brunell ⚡️

33,471 次观看 • 1 年前

Luna Dev Update 1.0 💻 Developers at Luna are passionate, we live for our work. We're enhancing the digital landscape that is Hyperliquid. Safety • Transparency • Accessibility The tools we are building are not just in favour of our own project but encourage growth of the entire HyperEVM ecosystem. We are building for the future of the chain. ----------------- Branding Progress: - Identity Secured - Blue Check Verified - Domain Secured - Organic 2000 X Followers - First X Promotions Enabled - TG Channel Live - Secret HyperLiquid NFT Acquired Technical Progress: - Bot Development / 85% - Web Interface / 80% - Deployment Pre-Planning / 75% Marketing Progress: All organic HyperLiquid cult in formation, Collaborations and partnerships in progress. With love, - Luna

Luna Dev Update 1.0 💻 Developers at Luna are passionate, we live for our work. We're enhancing the digital landscape that is Hyperliquid. Safety • Transparency • Accessibility The tools we are building are not just in favour of our own project but encourage growth of the entire HyperEVM ecosystem. We are building for the future of the chain. ----------------- Branding Progress: - Identity Secured - Blue Check Verified - Domain Secured - Organic 2000 X Followers - First X Promotions Enabled - TG Channel Live - Secret HyperLiquid NFT Acquired Technical Progress: - Bot Development / 85% - Web Interface / 80% - Deployment Pre-Planning / 75% Marketing Progress: All organic HyperLiquid cult in formation, Collaborations and partnerships in progress. With love, - Luna

Luna

60,935 次观看 • 1 年前

Ola recently announced that they are bringing affordable AI to Indian developers. 𝐉𝐚𝐫𝐯𝐢𝐬𝐥𝐚𝐛𝐬 an Indian company has been providing affordable GPUs for developers across the globe since 2020. We are a little known, so I want to share our story here. 𝐖𝐡𝐨 𝐰𝐞 𝐚𝐫𝐞 We are bootstrapped, building from the outskirts of Coimbatore. Started as a small team of 4, from humble backgrounds none from IITs/IIMs. Currently, we are a team of 12+. 𝐖𝐡𝐚𝐭 𝐰𝐞 𝐚𝐜𝐡𝐢𝐞𝐯𝐞𝐝 The cost of hosting GPU servers 4 years back in India was insanely high. We got 2 quotes which charged us Rs. 1.5L for a single server per month. At that cost, it was not practical for us to do the business. So we went to the first principle to build an MVP for a mini data center/server room. For the first few years, we ran all our servers from a room fitted with ACs, a UPS, and a Generator, which experts claimed would not work. As we scaled, we faced the heat of our setup, but by then we accumulated more money than we had. So last year we moved it to a tier 3+ DC near Bangalore. This helped us boost the confidence of our users, as we have redundancy for power, internet, and networking which gives us and our customers a lot of peaceful nights. 𝐖𝐡𝐨 𝐮𝐬𝐞𝐬 𝐉𝐚𝐫𝐯𝐢𝐬𝐥𝐚𝐛𝐬 Developers and artists from across the world have supported us in our journey. Some prominent companies are ZOHO (My inspiration), Weights and Biases, UNC, UpGrad, and many more. 𝐑𝐞𝐯𝐞𝐧𝐮𝐞 We crossed 580K USD in the last financial year, the highest ever in our history. Being bootstrapped, the only way for us to grow is to put all the money back. Our customers are our investors, as a founder I have hardly taken a paycheck for the last 4+ years, since the team also believes in our vision they are happy not taking a fancy cheque. 𝐕𝐢𝐬𝐢𝐨𝐧 As AI evolves, we want to bring the capabilities of AI to users at the lowest prices possible. Being bootstrapped, the only way to survive is to be frugal and disciplined. 𝐇𝐢𝐫𝐢𝐧𝐠 I am proud of our hiring strategy. We hired only freshers to date, and most of our hires do not have a formal degree. They come from rural areas and economically challenged backgrounds. The average age of our new team is 19. They have played an active role in building our V2 of Jarvislabs and improving the product daily. I love to thank everyone for supporting us in our journey. Thanks to Analytics India Magazine, INDIAai, fastai for recognizing us in our early years. If our story resonates with you, Please share our story to inspire others & support our mission. #StartupIndia

Ola recently announced that they are bringing affordable AI to Indian developers. 𝐉𝐚𝐫𝐯𝐢𝐬𝐥𝐚𝐛𝐬 an Indian company has been providing affordable GPUs for developers across the globe since 2020. We are a little known, so I want to share our story here. 𝐖𝐡𝐨 𝐰𝐞 𝐚𝐫𝐞 We are bootstrapped, building from the outskirts of Coimbatore. Started as a small team of 4, from humble backgrounds none from IITs/IIMs. Currently, we are a team of 12+. 𝐖𝐡𝐚𝐭 𝐰𝐞 𝐚𝐜𝐡𝐢𝐞𝐯𝐞𝐝 The cost of hosting GPU servers 4 years back in India was insanely high. We got 2 quotes which charged us Rs. 1.5L for a single server per month. At that cost, it was not practical for us to do the business. So we went to the first principle to build an MVP for a mini data center/server room. For the first few years, we ran all our servers from a room fitted with ACs, a UPS, and a Generator, which experts claimed would not work. As we scaled, we faced the heat of our setup, but by then we accumulated more money than we had. So last year we moved it to a tier 3+ DC near Bangalore. This helped us boost the confidence of our users, as we have redundancy for power, internet, and networking which gives us and our customers a lot of peaceful nights. 𝐖𝐡𝐨 𝐮𝐬𝐞𝐬 𝐉𝐚𝐫𝐯𝐢𝐬𝐥𝐚𝐛𝐬 Developers and artists from across the world have supported us in our journey. Some prominent companies are ZOHO (My inspiration), Weights and Biases, UNC, UpGrad, and many more. 𝐑𝐞𝐯𝐞𝐧𝐮𝐞 We crossed 580K USD in the last financial year, the highest ever in our history. Being bootstrapped, the only way for us to grow is to put all the money back. Our customers are our investors, as a founder I have hardly taken a paycheck for the last 4+ years, since the team also believes in our vision they are happy not taking a fancy cheque. 𝐕𝐢𝐬𝐢𝐨𝐧 As AI evolves, we want to bring the capabilities of AI to users at the lowest prices possible. Being bootstrapped, the only way to survive is to be frugal and disciplined. 𝐇𝐢𝐫𝐢𝐧𝐠 I am proud of our hiring strategy. We hired only freshers to date, and most of our hires do not have a formal degree. They come from rural areas and economically challenged backgrounds. The average age of our new team is 19. They have played an active role in building our V2 of Jarvislabs and improving the product daily. I love to thank everyone for supporting us in our journey. Thanks to Analytics India Magazine, INDIAai, fastai for recognizing us in our early years. If our story resonates with you, Please share our story to inspire others & support our mission. #StartupIndia

Vishnu - Jarvislabs.ai

67,627 次观看 • 2 年前