Wireshape

The Levery team was pleased to meet our friends from @AtriumAcademy, @UniswapFND, @Uniswap and more in person at the Uniswap Cup.

1/ We are thrilled to announce the completion of @Levery_org's smart contracts code review 🐞🔨 Big thanks to the @UniswapFND's Security Fund, which subsidized this audit through @areta_io marketplace. Keep reading to learn more about what went down👇

Levery provides compliant DeFi infrastructure so banks can launch and run regulated digital asset markets.

Thrilled to be featured on Hook Atlas, a curated showcase of high-impact opportunities in the Uniswap v4 ecosystem. Thanks to @AtriumAcademy for spotlighting Levery. Explore our page and learn more about our compliant DeFi infrastructure: 👇 hookatlas.com/hooks/levery

Counterexample generation just landed in Kontrol. When a proof fails, Kontrol can now auto-generate a Foundry test by inserting concrete assignments from the model into the original failing test function—so you can reproduce in one run. Docs: docs.runtimeverification.com/kontrol/guides… Experimental; feedback welcome.

.@levery_org needed an audit, and Areta Market delivered 15 offers in just three days. The marketplace revealed a 600% price variation, enabling them to select @rv_inc as the best fit for their scope. Fragmented procurement costs founders time and money. Competitive procurement with Areta Market helps teams secure better pricing and stronger outcomes. Run the 7-step readiness check to see if you're ready: areta.market/readiness-chec…

@levery_org: DEX-as-a-Service for regulated institutions Team → @0xPolicarpo + @0xIngrid

@levery_org is a regulatory-compliant, white-label DEX-as-a-Service. It's powered by Uniswap v4 Hooks and offers on-chain KYC/AML, oracle-based fee optimization, and seamless integration with stablecoin and banking rails. Team: @0xPolicarpo + @0xIngrid

Introducing Levery Insights, a channel for institutional DeFi research, outlooks, reports about regulated markets. Stay informed with perspectives that shape the future of on-chain finance. blog.levery.org/institutional-… Thanks for the support @UniswapFND, @areta_io & @AtriumAcademy.

For founders navigating tight timelines and budgets, the difference isn’t just theoretical. Our analysis shows that when procurement is fragmented, builders lose both time and money. The Areta Market playbook tells one story, but the reality comes through even stronger when you hear it from builders themselves. As @0xpolicarpo, Founder of @levery_org, put it: “With Areta Market, auditors compete to deliver the best service at the best price, this is hugely helpful” On average, builders save ~$26K per $100K spent. Explore the playbook to know how : areta.market/readiness-chec…

1/ This week, we kicked off a code review audit of @Levery_org's code base. This audit was thanks to @UniswapFND's Security Fund, which subsidized this audit through @areta_io marketplace. Keep reading to learn more about the audit and how to get a formal methods-oriented audit from us for free👇

5/ With a vetted network of 20+ top-tier auditors such as @cyfrin, @spearbit, @certora and @rv_inc, builders finally get competitive pricing and transparency These are the teams safeguarding the biggest names in crypto, and now they’re helping you. If you’re preparing for mainnet, or get your contracts audited follow the checklist and source quotes through the marketplace. Get the full playbook here : areta.market/readiness-chec…

1/ On the back of the new Areta Market launches, we took a moment to share how builders used the platform to secure 15+ audit quotes in under 3 days and cut their costs by over 30%. To go with it, we’ve created a builder playbook with a 7 step checklist to helps teams avoid the most common mistakes that inflate audit costs and drag out timelines ahead of their launch. Get the full playbook and free checklist here: areta.market/readiness-chec…

3/ When @levery_org prepped for their audit, they didn’t just get audit-ready, they unlocked 15 competing offers in 3 days. The quotes showed a 600% price spread, giving them the power to choose the best fit As founder @0xPolicarpo put it, "With Areta Market, auditors compete to deliver the best service at the best price.” Most teams never get that leverage.

4/ Uniswap Foundation Security Fund: Real Impact since launching in October, the Uniswap Foundation Security Fund has backed audits for 22+ projects. This includes @levery_org, helping them pass compliance and deliver bank-grade, multi-chain DEX infrastructure. If you’re building, don’t miss out on up to 100% audit subsidies. x.com/bernard_xyz/st…

The @UniswapFND Security Fund (UFSF) was launched in October 2024 to help teams in the @Uniswap ecosystem to improve developer access to security audits. Since then, 22 projects have received subsidies. Part of that cohort is @levery_org, they provide white-label, multi-chain DEX infrastructure so banks and asset managers can launch permissionless exchanges with on-chain KYC/AML. Its oracle-driven dynamic-fee engine protects liquidity providers from toxic arbitrage and removes vendor lock-in. Before launch, Levery hit a common wall: test coverage wasn’t enough. To pass compliance reviews and win trust from banks, they needed third-party validation. That’s where the Uniswap Foundation Security Fund (UFSF) helped, by making access to audits easier and subsidized. If you’re building on Uniswap, apply now and get up to 100% of your audit costs covered : areta.fillout.com/ufsf-projects

2/ This code review audit with Levery is part of Uniswap's Foundation Security Fund (UFSF). Any project building with Uniswap V4 or deploying on @unichain can apply for a subsidized formal methods-oriented audit from us, just like Levery did 🔐 Get started in the @areta_io marketplace or contact us directly at amp.runtimeverification.com, and we will personally guide you through the entire process.

3/ Levery's audit will last four and a half weeks and focus on a code review of their Solidity codebase. The review will focus on smart contracts implementing Levery's permissioned AMM protocol built on Uniswap v4 hooks. Some of the techniques used will include a design review, manual code review, and the use of Kontrol for property-based tests and fuzz tests, KaaS, and proof setup for future reruns.

4/ Levery, through an innovative permissioned AMM approach, enables traditional finance institutions to deploy compliant DeFi platforms leveraging Uniswap v4 hooks. Levery provides dynamic fee structures, rigorous compliance checks (AML, KYC, KYB), and real-time oracle integration.

5/ Levery is part of Uniswap’s Hook Incubator cohort 01 alumni and also part of @AtriumAcademy's Hook Product Accelerator, sponsored by @Uniswap, which supports innovative projects building on Unichain with resources, mentorship, and direct ecosystem integration.