Yu Feng
@captain8299
Followers
2K
Following
428
Media
26
Statuses
413
CS professor at UCSB and captain @nubit_org. I do practical research in program verification and blockchains.
Santa Barbara, CA
Joined December 2007
Push-Button Verification for BitVM Implementations. A collaborative effort with @robin_linus, @domodata, and teams from @ZeroSync_, @alpenlabs, and @citrea_xyz, exploring secure, verifiable frameworks for Bitcoin.
8
39
128
Our Coda paper "Certifying Zero-Knowledge Circuits with Refinement Types" got accepted by @IEEESSP ! (Top 1 security venue) We used Coda to formally verify crucial circuits @privacyscaling, @Sismo_eth, @identhree and many others. Congrats to all our students @MisakaCenter and.
7
19
105
比特币使用的UTXO模型，相当于每笔资金都有一个“还没被花费的输出”，里面附带“如何才能花费”的条件。最常见的条件是“谁的私钥签名”，但也能写成更复杂的脚本，比如“等待一定区块数后才能用”，或者“需要多方签名”等等。.
哪位技术大佬解释一下，Solv这个用户btc还在自己钱包里，但是却能算做自己的tvl，是什么黑科技？我不李姐，诚信发问.
25
17
107
(1/5) A paper (Learning Contract Invariants Using Reinforcement Learning) authored by @VeridiseInc folks get accepted by @ASE_conf (top SE venue). Preprint:
2
13
72
Life's ups and downs, last December was a low, taking nearly everything I'd worked for over two years. All I had was two insanely talented, hardworking boys who used to lay out (+ my other students) our grounding work in ZK security. From there, we've evolved into a unified team.
1/ We are elated to announce our $3M Pre-Seed round participated by prominent investors, including dao5 (@daofive), OKX Ventures (@OKX_Ventures), and Primitive Ventures (@primitivecrypto). Nubit is pioneering a bitcoin-native future with enhanced data throughput and availability
11
1
69
I am actively recruiting PhD students, interns, postdoc. If you enjoy doing fundamental PL research and applying them to areas with huge impacts, we should talk :).
1
7
67
My PhD student, @nubit_org 's cofounder, @archidog0 will be presenting his paper, "Practical Security Analysis of Zero-Knowledge Proof Circuits" at Usenix Security'24, 3:45 PM EST today. Come to say hi if you are around! .
2
7
48
We all know that founders must work hard to raise funds, build products, and hit milestones & metrics. It was still quite touching when I spoke in front of 600+ non-bot community members who care about what we build and asked great questions that will push Nubit to the next.
Our first community call had a great turnout! . Thank you to everyone who joined and brought great questions. We've created a family atmosphere with Nubiters.
7
10
46
Nubiters, as we forge ahead to shape the future of crypto, I want to share my reflections on our journey and the exciting path ahead. @nubit_org is about breaking down barriers and building bridges between Web2 and Web3—starting from Nubit DA. Take a moment to read my letter to
7
17
47
Two papers got accepted by @PLDI. 1/2: our 1st paper proposes a domain-specific solver for hunting Under-constrained Circuits in Zero-Knowledge Proofs, a notorious blocker for auditing ZKP. Please check out @VeridiseInc updates for more details.
1
0
47
@weikengchen @NEARProtocol @labs_electron Finally. In our incoming usenix security paper, We actually identified a bunch of under-constrained issues in their circuits. Reached out to them via TG and literally shared the issues with their tech team for free. Got ignored and good luck with their user funds.
3
11
45
Just landed in Brussels. DM if you want to chat about cool stuff. Otherwise, will work on my EthCC talk as well as the boys' @NDSSSymposium and @poplconf submissions. It seems all I need is wifi and a desk, regardless of where I am. .
7
7
38
This is shocking. My group and the previous startup I cofounded wouldn't have even started our ZK journey without @barrywhitehat and his @PrivacyScaling team. All the best to everyone and it was a great honor working with you all. We need more unsung heroes like you guys instead.
Having learned so much over the years from @PrivacyScaling and @barrywhitehat’s writings, there’s a mix of melancholy, nostalgia, and hope for the future in reading this — wish everyone the best 🥺.
1
1
43
Just landed, my 2nd time in Singapore. 1st time was over 6.5 yrs ago (how time flies) when I was a fresh graduated PhD—stayed in SG for only 30 hours due to back-to-back interviews with NUS and Canadian schools. Here I am. Will kick off my #TOKEN2049 trip with an academic
3
3
42
1/9: Veridise’s CTO will give a talk at #DevConBogota about a summary of our experience in applying formal methods to ZK circuits. After that, he will lead the Veridise team to dive into the details at the ZK community hub. ZK circuits won’t protect you if proofs are bogus.
Are your Zero Knowledge proofs actually correct? Check out @FormallyJon's talk at DevCon to find out!
1
2
42
I am not affiliated with Veridise anymore. I wanted to thank the community for introducing me to ZK, the advisors and the investors for their unconditional support, friends&clients for the continuous business in the past two years, and my incredible students for building.
3
0
41
@Veridiseinc is pleased to announce working with @StarkWareLtd on the first symbolic execution engine for @CairoLang. The beta version (with basic language features) will be released in two weeks. A critical milestone to set up the auditing standard for the codebase on #StarkNet.
1
7
37
With SP1 live, we're witnessing the 'iPhone moment' for ZK. In the past, writing ZK circuits was like writing assembly language. With SP1, anyone who writes Rust can become a ZK expert and unlock the mainstream potential of ZK. At Nubit, we are developing Nuport, to enable.
SP1 is live and ready for production use. Our blazing fast zkVM enables any developer to create real-world ZKP applications by simply writing Rust. Let's make ZKPs MAINSTREAM.
1
4
30
@guidosalva @ICSE2024 not sure if this is the statistic that a community wants to brag about….
0
0
35
Consider the leap from dial-up to fiber-optic internet. Blockchain, too, must evolve beyond its current limitations.
When you use the internet, do you worry about bandwidth or reliability? So why must blockchain struggle with limited block space and high costs?. Everyone wants to use Bitcoin's block space for its top-tier security, but it’s impractical due to its limited capacity. We might.
1
7
28
That's the exact UX that we will be launching with the Goldinals platform at @nubit_org, except that the DeFi is backed by Bitcoin Mainnet.
"CeFi in the front, DeFi in the back". this is the way.
4
4
32
Another baby step. Thank all the old and new friends. Others shift words. we shift work.
1/ Nubit has raised $12M, led by @polychain, to revolutionize blockchain scalability and multi-chain ecosystems.
7
0
30
Like the old-school RAID-N to increase system reliability via data redundancy, MultiDA represents a pivotal advancement in enhancing the resilience, uptime, and security of blockchains. We're excited to contribute to this initiative, setting a new standard for network.
🔱 #MantaPacific, the largest Modular L2, introduces MultiDA, a first-of-its-kind innovation to enhance network resiliency. MultiDA builds redundancy by leveraging top DA services including @CelestiaOrg @eigen_da @nufflelabs @0G_labs @nubit_org and @dill_xyz_.
0
6
30
I always remind my past and present cofounders: decisions—whether in marketing or product development—must be guided by timely facts and genuine client needs, not personal preferences or inflated metrics. The same principle applies to the blockchain sector: it must rest on.
1/ Proof of TVL: Regaining Trust in BTCFi. Billions in TVL are reported by Bitcoin staking protocols, but how reliable are these numbers?. Can we trust they’re backed 1:1 by BTC, or are we looking at inflated metrics?. We analyzed the risks and solutions for BTCFi transparency.
3
5
29
The entire ecosystem of Ethereum, Solana, and other L1s owes much of its success to the ERC20-like standards that underpin their asset frameworks. However, replicating such a standard on Bitcoin is an immense challenge, given its stateless design and Turing incompleteness.
Introducing Goldinals: The Unified Protocol for Bitcoin Assets. One protocol for every Bitcoin native asset—safer, faster, and fully decentralized.
2
4
30
I'll be joining the stage at the Bitcoin Renaissance Summit on 3rd September 2024, to discuss Nubit's adaptable DA secured by Bitcoin. Together with @babylonlabs_io and @alt_layer, we will bring Bitcoin Season 2 to Korea. RSVP:
9
9
26
People thought Van Gogh's drawings were maxed out when he was still alive;. Banks thought Satoshi's Bitcoin would be maxed out in 2009;. The conservative Bitcoin community thought Vitalik's proposal would be maxed out before he created Ethereum;. I understand the importance and.
Guys the rollup roadmap is simple:.- L1 maxes out DA. That's it from L1 perspective. I've been saying for a while, we're effectively done with the research on scaling beyond DA, and the progress on PeerDAS/VID/. makes me think that is also a solved problem. Let's code.
4
4
14
@VeridiseInc is happy to announce the launch of its “Security as a Service” platform at DevCon @EFDevcon this week! 1/3.
2
8
27
Let's bring the world computer back to Bitcoin. Step one: Goldinals to unify the fragmented assets!.
💡 Nubit (@nubit_org) and Nebra (@nebrazkp) may have just solved the problem of inflated TVL figures in Bitcoin’s $30B+ DeFi ecosystem. 🔒✨.•Bitcoin’s UTXO model makes it easier to inflate TVL numbers. •New zk-proof tools ensure accurate and tamper-proof TVL verification.
3
2
26
3k per month. Annual bonus based on KPI. Wrapping up series A and Never take business class. Spent a week at KBW and this was my hotel’s setup when I didn’t give keynotes or social. I always tell my cofounders/students: you can easily make much much higher salary if you join
Peter Thiel explains why he always asks the startups he invests in: “What’s the salary of the CEO?”. “If you like the people, you like the business model, you like the technology, you like everything. I’ve found that that single question is incredibly predictive because it ends
4
3
25
Those guys @victorJi15 @superanonymousk are making an unstoppable move while most people are enjoying work-life balance. proud of covering the security aspect @VeridiseInc.
📈 The #MantaNewParadigm has surpassed $250m TVL. Thank you for all of your continued and ongoing support. #MantaPacific is made so amazing by all of the users, supporters, projects, and contributors making it better day by day. Now, go open your boxes and happy holidays!
3
5
21
12+ years ago, I was a software engineer in Zhongguancun and never thought I could become a professor one day. My PhD advisor reshaped my path. How? Through 5+ years of daily challenging and training: teaching me how to find novel ideas, write high-quality papers, give good.
One of the most fulfilling aspects of investment is the symbiotic relationship we cultivate with our portcos. As a VC, our strength often lies in connecting dots across time&space theories, offering strategic insights that can unlock significant value for our portcos. But it’s.
1
1
23
Out of the only 10 functional tools for securing ZK, the Nubit team proudly invented 3: ZKAP, Coda, and Picus. Building on this expertise, we are crafting the most secure and scalable data availability layer.
The State of Security Tools for ZKPs.
1
4
21
Thrilled to announce that Prof. Alex Aiken (former Stanford CS chair) and Prof. Elaine Shi (CMU & cofounder of IC3) joined @VeridiseInc's advisory board to strengthen our ongoing effort on formal verification and ZK.
1
0
21
My talk got accepted by the main event @EthereumDenver'23! I will talk about the Taxonomy of ZK bugs through large-scale analysis of existing ZK circuits and lessons learned via @VeridiseInc extensive ZK auditing. Please stop by on 3/4 at 16:40 local time.
1
4
22
Thrilled to participate in Soon's Co-Builders Round. High-performance SVM with Nubit underneath will pave the way for the mass adoption of Web3 consumer apps.
We are excited to announce the Soon Co-Builders Round. With the support from top builders such as @aeyakovenko co-founder of @solana, @calilyliu the president of @Solanafndn, @musalbas co-founder of @CelestiaOrg, @TheRealKartik co-founder of @EthGlobal, @0xkatz founder of
1
3
20
About to land in HK and share the recent updates of Nubit’s adaptable DA. See you in the weekend!.
🛸「FORESIGHT 2024 」年度峰会·圆桌论坛🛸. 圆桌主题： 「解构与重构：模块化乐高叙事兴起」. 圆桌嘉宾：. Anurag Arjun @AvailProject , Founder;.Yu Feng @nubit_org , Founder & CEO;.Joe Chen @movementlabsxyz , APAC BD Lead;.Eden Au @TheBlock__ , Research Director;
4
5
20
10 years ago, I was a random "full-stack software engineer" who knew nothing about formal verification. She taught me everything and made me become a professor. You may attend gazillion conf per month but this is the quality you won't get very often.@IsilDillig's talk: 5:10 today.
🎤 #EthCC Speakers 🎤. @IsilDillig from @VeridiseInc will speak about "Hardening Blockchain Security with Formal Methods". 💙🤍❤️
0
0
18
Smart contract security is well-researched, and ZKP circuit analysis is emerging, but cross-rollup bridges are unique: hybrid systems combining smart contracts, ZKP circuits, and off-chain components. Our research tackles a critical yet practical question: In noisy, complex.
Formal verification is crucial to the security of decentralized protocols, especially for financial products like cross-chain bridges. We've prioritized the security of our bridge @Orbiter_Finance since day one. We're excited to share our collaborative research with Prof. Feng.
2
6
20
We got an Olympic swimmer (2016, 2020) who will lead the growth at @nubit_org. Welcome aboard, @0xNorby.
Exciting news as I dive into a new chapter! On this special day, I'm thrilled to share that I've joined @nubit_org as their Global Growth Manager 🌎 . As an Olympic swimmer and a relentless pursuer of greatness, I've always sought challenges that demand excellence and innovation.
1
2
18
Good news: about to start my 8-month sabbatical leave. But, feel more stressed when I start to plan the trip. 5/19-5/27 Vienna.6/9-6/12 Hong Kong .6/13-7/1 Wuhan/Beijing/Shanghai/hometown.7/4-7/12 Brussels (EthCC).(One night in Beijing).7/25-7/27 Nashville (BTC-US).8/2-8/9.
1
0
19
Fun fact: Since day one, my investors keep advising us to create content and blog posts that appeal to everyone, from IQ 50 to IQ 150. I learn from them every day, but it’s still rare to watch a bunch of IQ 150 retail users teasing an IQ 50 founder. No matter what happens, the.
0
1
19
It was an honor to present @nubit_org 's extended vision of the consumer network at Beacon with all those top-notch founders!.
0
6
19
Probably the biggest reward ever since I started to use twitter for my startup: I hired a fantastic and web3-native PhD student who will keep pushing the boundary of formal methods in ZK/Web3. He was also leading the formal verification effort for all Veridise's ZK clients. Big.
1
1
19
Got my Netherlands visa 8 hours before the flight. See you guys tomorrow. @theyisun @gubsheep @luke_pearso @shumochu @smsunarto @shenhaichen.
The agenda for this weekend's Applied ZK Workshop at @EFDevconnect is now available online. Featuring demos, presentations, and workshops on circuit primitives, proof-of-concept applications, tooling and infra, circuit verification, and more. (1/2).
0
1
18
Building BitVM IDE was a journey. Just like any newborn product, turning a proof-of-concept into a robust tool was no easy task. But this is just the tip of the iceberg. BitVM IDE marks the start of Nubit's grand roadmap. In the coming months, we’ll deliver more down-to-earth.
1/ Try Your First ZKP Verification on Bitcoin Now!. We launched BitVM IDE, a tool to verify ZKPs using BitVM on Bitcoin. Easy & fast. 🧵⬇️
3
4
15
Addressing the recent concerns about high transaction costs on Bitcoin L2s: With Nubit's Data Availability layer, we're taking a fundamentally different approach. We drastically reduce the data bottlenecks and costs associated with Bitcoin L1 congestion. Alongside.
Given the recent interest in Bitcoin L2s I calculated how much txs would cost in an L2 that uses Bitcoin as it's DA layer. It's extremely expensive, median uniswap trade would cost ~10$ yesterday, and during congestion on L1 it would be get much more expensive
5
6
15
Very pleased that our paper got the distinguished paper award at #pldi2022! Amazing achievement by my PhD student Yanju Chen, cofounder of @VeridiseInc.
0
0
16
Innovation doesn’t happen in isolation—it requires collective effort. Something new is trapped inside this rock, and it’s ready to power Bitcoin like never before. Let's crack it!.
Nubit is cracking open something big🪨. A new energy for Bitcoin lies inside this rock—but we need YOUR help to uncover it. Crack open the rock by replying with 🔨 or ⛏️ below 👇. We need 50 replies with 🔨 or ⛏️ in the next 24 hours to dig the crock to the next stage!
2
0
15
Thrilled to see our collaboration with Symbolic Capital on BitVM making waves! 🌟 BitVM represents a major leap in Bitcoin's programmability, balancing innovation with Bitcoin’s core principles of security and simplicity. This is just the beginning—what Bitcoin-native use cases.
Symbolic is thrilled to release our collaborative research with @nubit_org, "A Deep Dive into BitVM." Nubit's leadership in Bitcoin infrastructure development, from data availability to settlement solutions, has been instrumental in pushing the Bitcoin space forward. Our research.
2
2
16
Very interesting talk about attack mitigation from @i2huer, an expert in Web3 security and binary analysis. Compared to prior giants in binary/browser/mobile security, we are so early.
0
0
16
Running the Arbitrum Security Council at the last minute and your votes will be highly appreciated.
0
2
15
Dear friends, Happy Dragon Year! After countless sleepless nights, I am happy to share the stealth project that our team has been working on: Nubit@nubit_org , the first Bitcoin-Native Data Availability Layer, for bootstrapping mass adoption of Bitcoin ecosystems.
NUBIT PRE-ALPHA TESTNET 🔥. Nubit is a scalable and the first Bitcoin-native data availability layer. After tireless efforts, we are excited to announce the pre-alpha version of Nubit!
3
0
13
June 23 - June 30, NYC .July 17 - July 19, Paris.July 20 - July 23, Vienna,.July 24 - July 26, Prague, .DM if you are interested in Web3 security, formal methods, and want to meet!.
2
0
14
在我看来，如果缺少比特币主网的安全担保，BTCFi这种群体性问题还会不断出现。要么让交易真正上链到比特币主网，要么通过基于主网的零知识证明进行锁定，从而避免双花风险。.
1
2
15
2/2: Our 2nd paper is about a conflict-driven solver for synthesizing layout engines with a correctness and high performance (via incrementality) guarantee, an extremely difficult problem suffered by browser developers. It is a joint work among UCSB, UW, and Mozilla servo teams.
1
2
14
Talks and PRs are cheap. Let's build and make the ecosystem sustainable 💪.
Merlin Chain (@MerlinLayer2) with Nubit DA underneath is officially live on our Alpha Devnet!. 🔮🧙 Explore Merlin blobs with Bitcoin-native DA.
1
4
13
See you all soon!.
1/ Infra Summer 2024 @EthCC starts in 2 hours!. Our captain @captain8299 will kick off the show with a keynote: "Write Once, Decentralized Everywhere: An Adaptable Layer Secured by Digital Gold". This keynote will unroll Nubit’s brand-new adaptable layer which contains the most
0
0
13
We know security, FV, and PL reasonably well but were a bit hesitant about jumping into new territory like Bitcoin DA and distributed systems in general. But the team became fearless after we were luckily backed by our next-door, legendary @dahlia_malkhi . Also, having a decent.
🌟 Meet our Captain: Professor Yu Feng at the BiToday Seminar. Prof. Yu Feng @captain8299, Founder & Captain of @nubit_org, will be delivering a keynote on our latest academic progress. Meanwhile, we are delighted to have Prof. Dahlia Malkhi @dahlia_malkhi, Distinguished
1
4
12
This is very sad. I took Prof. Emerson's formal methods class in 2014 and learned linear temporal logic from him. Fun fact: He was so addicted to Dr pepper and the TA had to stay in the first row and prepare 2-3 bottles per lecture. Great professor. R.I.P.
Sad to learn that Allen Emerson, a giant of the formal methods research and winner of 2007 Turing Award, passed away, he will be remembered fondly
0
0
14
Congratulations to @michaelhanono and the @TalusNetwork team! Time truly flies—it's amazing to reflect on how far you've come since this time last year. 🚀 Keep up the inspiring work!.
1/ BREAKING NEWS: Talus has raised $6M in our latest funding round led by @Polychain to become the leading platform for decentralized AI agents! ⚡. At Talus, we’re building a transparent, censorship-resistant ecosystem where fully onchain AI Agents can collaborate in web3.
3
3
12
I will share our recent work on Crypto & ZK security at Stanford & Berkeley from 4/18 - 4/19. DM'd if you want to hang out in Bay Area.
1
1
13
Wow, you guys are up for everything. Congrats!.
🔱 Introducing Manta Pacific: the EVM-native modular L2 for ZK applications. Now, developing and deploying ZK applications is possible for Solidity developers with just a few lines of code. Learn more:
0
0
11
Don't trust but verify. Otherwise, "Numbers don't lie - but they sure can dance when the music's right.".
Math check needed? @SolvProtocol's Bitcoin reserves don't seem to add up. Between the possibilities of offline promises & double-counting, something's not quite calculating right. But who’s really keeping track?. Rekt Investigates.
0
1
13
Congrats! @victorJi15 @superanonymousk.
🔱 p0x labs, the Manta Network dev team, has raised $25m led by @Polychain and @QimingVC with backers including @alliancedao, @SevenXVentures, and @coinfund_io, pegging its valuation at $500m. With this exciting announcement, we are launching the #MantaPacific Testnet.
0
2
12
Decent event and great to see all friends again @shumochu @luke_pearso @theyisun @yezhang1998 @shenhaichen @gubsheep Thanks for organizing this @0xPARC and look forward to the next meet-up.
Did you miss Applied ZK Workshop this past weekend? Catch our CEO Yu Feng’s presentation (Formal Verification for ZK Circuits Using Symbolic Compilation) at #Devconnect #veriside #automation #audit #formalverification @captain8299 @IsilDillig @VeridiseInc.
0
0
12
Whatever you called it. Huge congrats on the launch! @smsunarto.
The universe is a ｢ Dark Frontier ｣ -- a fully onchain, ZK space conquest MMORTS game inspired by Dark Forest. Powered by @ArgusLabs_ ｢ World Engine ｣. A limited first batch of game keys will be dropped 🪂 on December 5th, 2023. Pre-registration now open (link in bio)
1
3
12
Bitcoin Goes Modular with @nubit_org. I've joined Nubit Pre-Alpha Testnet: Let's build Bitcoin's tomorrow, today. Ready to shape the future? Come with us: or use invite code: [ESBK1]. Choose Native, Choose Nubit.
2
0
12
Scalability, Privacy, Apps, Security, and Capital. Your one stop shop ZK experience at Devcon. @MantaNetwork @VeridiseInc @polychaincap @Scroll_ZKP.
0
1
12
Founders keep saying "onboarding next billion users" without telling us how;. Builders keep bragging about how safe/great/fast their infra will enable "killer apps" without telling us where/how those apps will come from;. Let's do something down-to-earth.
🧵 What's holding Web3 back from mass adoption? . At the Bitcoin Renaissance event hosted by @babylonlabs_io during #KBW2024🇰🇷, our founder, Prof. Yu Feng (@captain8299), identified the last-mile problem—a gap between advanced blockchain infrastructure and user-friendly apps. ⬇️
1
1
11
Respectfully disagree. "Celestia made only 6 figures" is similar to "DA is a solved problem" that I heard recently. IMO, we might want to split "technically sound" from "mass adoption". Is Celestia technically sound? Definitely yes. Decoupling data access from execution is.
@0xCygaar @MaxResnick1 Yes but relying on DA for fees or value accrual seems like a totally losing battle. How much has Celestia made in fees since inception? My guess is 6 figures, *maybe* low 7?.
0
0
11
Took the photo before starting my PhD. .
"Cryptocurrencies represent freedom, and decentralization is what many who love freedom advocate for.". Yu Feng, computer science professor and founder of Nubit, leads his team in solving key challenges to enable unlimited innovations. Discover how Yu Feng got into blockchain,
2
0
9
Leveraging our decade-long research in compilers and virtual machines at UCSB, we're committed to pushing the boundaries of bitVM and its potential.
BitVM: quiet progress, one chunk at a time!. We've added serialization and caching for BitVM chunker—the mechanism that slices Bitcoin scripts to fit block size limits. Not a flashy headline, but a crucial step that smooths out layout and moves us closer to a production-ready.
1
0
10
(3/5) because there are only a handful of developers (like @transmissions11) who appreciate the importance of invariants and actually write them down, in reality, auditors have to extract implicit invariants through whitepapers, hardhat tests, comments, and lengthy meetings.
2
0
10
4/ This is a major step forward in bringing secure, scalable smart contracts to Bitcoin. 🙌. For all the technical details and how we’ve managed to pull this off, please check out our paper. Huge thanks to @Starknet and @fractal_bitcoin for sponsoring our research!. #blockchain
1
0
10
In academia, we fight for innovation: better algorithms and novel techniques. In a startup, sometimes, we simply fight for basic things: execution and survival. Because nobody remembers who you are if you disappear.
0
1
10
We've developed a stateless and trustless execution layer for meta protocols on Bitcoin, with thanks to the Verkle Tree. Full thread coming soon.
Grats @dankrad @peter_szilagyi you got me to interrupt my work on EIPs and make a twitter response that turned into an unscheduled poast 😀.
2
5
8
BTC’s mass adoption in action 🌐: Technically, bridging BTC to networks like TON/ETH/Solana is relatively straightforward with their Turing-complete models. The real challenge? Bringing assets back to the Bitcoin network efficiently and safely—that’s where bitVM will shine.
1
0
10
The best part of academia is, after countless fights and meetings, your student finally sorted out the path and declared victory in a cocky way. "woo hoo, I think we can start writing the zk bug finder paper already~ I have cleared out the entire refinement type inference.
0
0
9
While we are lucky to have my amazing colleague @dahlia_malkhi to guide the design of the consensus component at @nubit_org, the execution layer finally falls into my (slightly) comfort zone with tons of challenging problems that might attract PL folks.
Nubit, the first Bitcoin-native data availability layer, has proposed a recent modular indexer that enables users to verify the validity of outputs in a trustless setup (precisely, 1 of N). It's a joint work with @domodata, and special thanks to @0xBinari (Founder of
0
1
9
Our SaaS product incorporates several complementary security analysis tools, including Orca (a new coverage-guided fuzzer), Vanguard (a state-of-the-art static analyzer), and Eurus (a formal verifier). These tools can collectively find both common issues and deep logical bugs.2/3.
1
0
9
Great to work with so many dedicated minds in our space, driving change with intellectual capital. 🫡.
@hosseeb @tarunchitra Professorcoins in our space might be able to cap the downside given its perceived as “legit technical innovation” for their paper value (literally, paper value) it’s a typical academic social capital leverage play. Also statistically, professors are much more conservative in.
0
2
8
Check out this demo to see how you can use Veridise’s Orca fuzzer to discover the vulnerability that led to the Nomad attack! 3/3.
2
1
9
@transmissions11 Thanks for the extremely genuine thread that I typically see in textbooks or our PL community. The main goal of our research (orthogonal to startup) is to generate secure code via program synthesis, which takes inputs as invariants and specifications.
1
0
9
To illustrate our core techniques (e.g., program analysis, synthesis, symbolic execution, fuzzing, refinement types, temporal verification, etc.) to the general audience in blockchain, we will post a series of articles via our blog on Medium. Stay tuned.
@VeridiseInc is now on Medium. In our next few blogs, we explain what program analysis is and how it can help catch security vulnerabilities before deployment. #security #verification @IsilDillig @captain8299 .
1
2
8
Literally, it will be one-year anniversary since we started Veridise and joined this business (nailed down the seed round with @lukejdpearson at EthDenver last year). Look at how we grow and what we have done. Hope to see you all in person again!.
Please join us at zkDay on Feb 28th in Denver! It will be a fun day full of ZK-related talks, discussions, and activities :) We look forward to seeing you there! @polychaincap @MantaNetwork @Scroll_ZKP @AleoHQ @cysic_xyz @VeridiseInc @nil_foundation @ModulusLabs @HyperOracle
0
0
9
Shepherding a security paper (to appear in mid-October). It was a bit shocking to see the quantitative evaluation that demonstrates the maturity and stability of OP compared to all mainstream zkEVMs.
0
0
8
(2/5) We tried to tackle a fundamental blocker of automated verification: in reality, instead of how to verify your DeFi/ZK circuits, the majority of effort is spent on figuring out what properties or specs to verify and what invariants hold.
1
0
8
The beta version will perform symbolic reasoning to detect common issues such as overflows and.out-of-bounds array indexing. By the end of the summer, we will support deductive verification that enables us to reason about functional correctness and other complex properties.
2
0
8
Started a new undergrad course about Crypto and Blockchain in spring, and reused the structure and slides from @danboneh's CS251. Extremely lucky to have @smsunarto to cover on-chain gaming in web3 this week and the show was a blast! Next Wed, we will have another guest
0
0
8
Want to know more? Please come to our live demo at ZK house tomorrow:
0
0
8
Fun fact (PhD advisor vs advisee): Alex -> Isil -> me -> Yanju (Veridise's cofounder, head of research). Four generations of researchers on automated reasoning.
1
0
8
1/6 Why do we come up with the SaaS product and how it differs from existing ones? Let me explain a few key ingredients, which are very well-established in academia but missing in the current auditing business.
1
1
8