Загрузка видео...

Не удалось загрузить видео

На главную

We’re excited to launch LLZK, an open-source intermediate representation (IR) for zero-knowledge circuits. Think LLVM, but for ZK. Built by Veridise and supported with a grant from the Ethereum Foundation, LLZK is now live on GitHub. Thread 🧵 1/4

VeridiseInc's profile picture

Veridise

4,822 subscribers

10,967 просмотров • 10 месяцев назад •via X (Twitter)

LIVE

Anya Rossi• Live Now

Private livecam show

Комментарии: 0

Нет доступных комментариев

Здесь появятся комментарии из оригинального поста

Похожие видео

We’re excited to introduce Honest Majority, a new podcast by Common Prefix. Episode 1 with Bain Capital Crypto partner Alex Evans is now live: Can Data Availability be Zero Knowledge? 1/4
27:06

We’re excited to introduce Honest Majority, a new podcast by Common Prefix. Episode 1 with Bain Capital Crypto partner Alex Evans is now live: Can Data Availability be Zero Knowledge? 1/4

Common Prefix

11,623 просмотров • 6 месяцев назад

We’re super excited to launch Rex Markets: The Premium, Intelligent-first Aggregator for Prediction Markets powered by Rex AI 🟢🔴 Now live: 🧵/4
0:52

We’re super excited to launch Rex Markets: The Premium, Intelligent-first Aggregator for Prediction Markets powered by Rex AI 🟢🔴 Now live: 🧵/4

RaptorX

22,629 просмотров • 6 месяцев назад

We're excited for ZK Day at Ethereum Forschungsingenieurtagung! Join us for in-depth discussions on ZK security, optimal arithmetics, ZK stateless clients, and more! 🌟 Don't miss insights from Declan Fox and Alexandre Belling from Linea as they share our innovative approach to ZK. Let’s push the boundaries of zero-knowledge together!
0:55

We're excited for ZK Day at Ethereum Forschungsingenieurtagung! Join us for in-depth discussions on ZK security, optimal arithmetics, ZK stateless clients, and more! 🌟 Don't miss insights from Declan Fox and Alexandre Belling from Linea as they share our innovative approach to ZK. Let’s push the boundaries of zero-knowledge together!

Linea.eth

29,321 просмотров • 1 год назад

1/ Web3 developers – join us on Base, a new, open-source Ethereum L2 with a vision for decentralization and scale. Base is built by Coinbase builders, for the world’s builders. It is designed to be an open ecosystem where anyone, anywhere can build.
0:24

1/ Web3 developers – join us on Base, a new, open-source Ethereum L2 with a vision for decentralization and scale. Base is built by Coinbase builders, for the world’s builders. It is designed to be an open ecosystem where anyone, anywhere can build.

Base

205,726 просмотров • 3 лет назад

🌐 Multi-Proofs are Live on Taiko Mainnet! 🌐 We implemented multiple Zero-Knowledge (ZK) proofs powered by RISC Zero and Succinct! Our ZK-enhanced, multi-proof architecture now strengthens security for the 5 million daily transactions on our network, setting sail toward a more secure, scalable Ethereum ecosystem. ⛵️ 1/2
0:35

🌐 Multi-Proofs are Live on Taiko Mainnet! 🌐 We implemented multiple Zero-Knowledge (ZK) proofs powered by RISC Zero and Succinct! Our ZK-enhanced, multi-proof architecture now strengthens security for the 5 million daily transactions on our network, setting sail toward a more secure, scalable Ethereum ecosystem. ⛵️ 1/2

Taiko.eth 🥁

49,986 просмотров • 1 год назад

We’re excited to share that Mainnet Phase 1 is officially LIVE! Along with Mainnet we are announcing several new programs, including the Season 1 Airdrop Claim and Gas Mining. Launch thread below 🧵
1:21

We’re excited to share that Mainnet Phase 1 is officially LIVE! Along with Mainnet we are announcing several new programs, including the Season 1 Airdrop Claim and Gas Mining. Launch thread below 🧵

Zircuit

190,482 просмотров • 1 год назад

Just built an infinite contextual radio for programming. Think lo-fi girl; but endless, and dynamically changes based on what’s on your screen. All locally run models (MagentaRT + InternVL3) Open source, on Github now.
0:59

Just built an infinite contextual radio for programming. Think lo-fi girl; but endless, and dynamically changes based on what’s on your screen. All locally run models (MagentaRT + InternVL3) Open source, on Github now.

LaurieWired

39,762 просмотров • 10 месяцев назад

1/5 🚀 PilotDeck is now live — the open-source AI agent OS built for all scenarios！ Built by TsinghuaNLP × ModelBest × OpenBMB × AI9stars, PilotDeck is here for full memory transparency, intelligent cost routing, and agents that never stop working for you. 🔗 Show Case: 💻 GitHub： One person. One fleet of agents. Ship something real. 🔥🧵
0:53

1/5 🚀 PilotDeck is now live — the open-source AI agent OS built for all scenarios！ Built by TsinghuaNLP × ModelBest × OpenBMB × AI9stars, PilotDeck is here for full memory transparency, intelligent cost routing, and agents that never stop working for you. 🔗 Show Case: 💻 GitHub： One person. One fleet of agents. Ship something real. 🔥🧵

OpenBMB

284,737 просмотров • 25 дней назад

Hello world🔥🚀! I am excited to announce the release of YarnGPT, YarnGPT is a family of open source text to speech models built for Nigerian🇳🇬 accented English (YarnGPT) and native languages (YarnGPT-local). It was built on top of SmolLM2-360M by Hugging Face A thread🧵...
1:45

Hello world🔥🚀! I am excited to announce the release of YarnGPT, YarnGPT is a family of open source text to speech models built for Nigerian🇳🇬 accented English (YarnGPT) and native languages (YarnGPT-local). It was built on top of SmolLM2-360M by Hugging Face A thread🧵...

Saheedniyi

236,514 просмотров • 1 год назад

Built by Pragma. Open source. Community funded. Amaru is the node we’ve been waiting for. Josh gives us the full tour of the project—from Raspberry Pi capabilities to Zero-Knowledge features.
1:03

Built by Pragma. Open source. Community funded. Amaru is the node we’ve been waiting for. Josh gives us the full tour of the project—from Raspberry Pi capabilities to Zero-Knowledge features.

Sundae Labs 🍨

14,736 просмотров • 3 месяцев назад

The 1→100 moment for vaults is here. Morpho Vaults V2 is a new open-source standard designed to power the future of asset curation. Live now on Ethereum and soon onchain everywhere.
0:36

The 1→100 moment for vaults is here. Morpho Vaults V2 is a new open-source standard designed to power the future of asset curation. Live now on Ethereum and soon onchain everywhere.

Morpho 🦋

412,628 просмотров • 8 месяцев назад

🧵🪡 1/8: Percolator is live on Devnet Toly's vision: for perps. Launch perpetual futures markets for any solana token in 60 seconds Everything's open source, testable right now
0:52

🧵🪡 1/8: Percolator is live on Devnet Toly's vision: for perps. Launch perpetual futures markets for any solana token in 60 seconds Everything's open source, testable right now

Percolator

215,679 просмотров • 4 месяцев назад

Ethereum is for Agents ⬆️ Zyfai brings a trustless, rule-based yield stack to agentic DeFi on Ethereum, powered by Safe.eth and verifiable through ZK proofs & ERC-8004. Now supporting ETH alongside USDC. 🧵
0:57

Ethereum is for Agents ⬆️ Zyfai brings a trustless, rule-based yield stack to agentic DeFi on Ethereum, powered by Safe.eth and verifiable through ZK proofs & ERC-8004. Now supporting ETH alongside USDC. 🧵

Zyfai

72,782 просмотров • 3 месяцев назад

New economics, Supernova... but wait, there's more. Privacy, baked into the protocol. Zero Knowledge Primitives will bring shielded transactions and zk circuits to MultiversX.
1:48

New economics, Supernova... but wait, there's more. Privacy, baked into the protocol. Zero Knowledge Primitives will bring shielded transactions and zk circuits to MultiversX.

Multiversᕽ

29,670 просмотров • 8 месяцев назад

introducing laravel moat as an open source maintainer, recent supply chain attacks in the ecosystem made me want a simple cli to audit the security of my GitHub organizations and repositories built in Rust. for any open source project on GitHub
2:20

introducing laravel moat as an open source maintainer, recent supply chain attacks in the ecosystem made me want a simple cli to audit the security of my GitHub organizations and repositories built in Rust. for any open source project on GitHub

nunomaduro

79,936 просмотров • 27 дней назад

OpenClaw just got a serious open-source rival 🧵 It’s called OpenFang. It’s an agent operating system. It was inspired by OpenClaw. But it’s built more for security. It works closer to the kernel level. And yes… it’s fully open source. We’re officially entering the AI agent OS wars.
0:21

OpenClaw just got a serious open-source rival 🧵 It’s called OpenFang. It’s an agent operating system. It was inspired by OpenClaw. But it’s built more for security. It works closer to the kernel level. And yes… it’s fully open source. We’re officially entering the AI agent OS wars.

Julian Goldie SEO

18,079 просмотров • 3 месяцев назад

Excited to present FastTD3: a simple, fast, and capable off-policy RL algorithm for humanoid control -- with an open-source code to run your own humanoid RL experiments in no time! Thread below 🧵
0:25

Excited to present FastTD3: a simple, fast, and capable off-policy RL algorithm for humanoid control -- with an open-source code to run your own humanoid RL experiments in no time! Thread below 🧵

Younggyo Seo

130,935 просмотров • 1 год назад

Introducing ambientGPT: an open-source and multimodal MacOS foundation model GUI Run GPT-4o and open-source models with full ambient knowledge of your screen. Foundation models have long been confined to the browser. With ambientGPT, your screen context is directly inferred as part of the query, ensuring you never need to explicitly upload context again! Github:
1:37

Introducing ambientGPT: an open-source and multimodal MacOS foundation model GUI Run GPT-4o and open-source models with full ambient knowledge of your screen. Foundation models have long been confined to the browser. With ambientGPT, your screen context is directly inferred as part of the query, ensuring you never need to explicitly upload context again! Github:

Siddharth Sharma

192,766 просмотров • 2 лет назад

Microsoft just killed Cursor today with the launch of GitHub Spark and introduced major updates to GitHub Copilot. More details in the thread 🧵 📹 credit from Microsoft.
1:14

Microsoft just killed Cursor today with the launch of GitHub Spark and introduced major updates to GitHub Copilot. More details in the thread 🧵 📹 credit from Microsoft.

AshutoshShrivastava

716,288 просмотров • 1 год назад