Wireshape

38 posts

Wireshape banner
Wireshape

Wireshape

@wireshape

Development company building enterprise blockchain and IA for better efficiency, management and compliance of institutional operations.

Worldwide Katılım Haziran 2024
36 Takip Edilen62 Takipçiler
Wireshape retweetledi
Runtime Vеrification
Runtime Vеrification@rv_inc·
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👇
Runtime Vеrification tweet media
English
10
4
23
1K
Wireshape retweetledi
Levery
Levery@levery_org·
Levery provides compliant DeFi infrastructure so banks can launch and run regulated digital asset markets.
English
0
3
10
698
Wireshape retweetledi
Levery
Levery@levery_org·
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
Levery tweet media
English
1
6
18
1.1K
Wireshape retweetledi
Runtime Vеrification
Runtime Vеrification@rv_inc·
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.
English
3
3
27
3.4K
Wireshape retweetledi
Areta
Areta@areta_io·
.@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…
Areta tweet media
English
0
5
19
2.4K
Wireshape retweetledi
Atrium Academy
Atrium Academy@AtriumAcademy·
@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
Atrium Academy tweet media
English
1
3
7
436
Wireshape retweetledi
Areta
Areta@areta_io·
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…
Areta tweet media
English
0
3
9
517
Wireshape retweetledi
Runtime Vеrification
Runtime Vеrification@rv_inc·
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👇
Runtime Vеrification tweet media
English
5
10
56
248.6K
Wireshape retweetledi
Areta
Areta@areta_io·
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…
Areta tweet media
English
0
3
14
542
Wireshape retweetledi
Areta
Areta@areta_io·
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…
Areta tweet media
English
1
10
30
7K
Wireshape retweetledi
Areta
Areta@areta_io·
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.
Areta tweet media
English
1
4
13
369
Wireshape retweetledi
Unichain Daily
Unichain Daily@unichaindaily·
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…
English
1
3
4
338
Wireshape retweetledi
Bernard ⚡️⚡️⚡️
Bernard ⚡️⚡️⚡️@bernard_xyz·
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
Bernard ⚡️⚡️⚡️ tweet media
English
1
7
14
1.6K
Wireshape retweetledi
Runtime Vеrification
Runtime Vеrification@rv_inc·
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.
English
1
3
4
446
Wireshape retweetledi
Runtime Vеrification
Runtime Vеrification@rv_inc·
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.
English
1
3
4
318
Wireshape retweetledi
Runtime Vеrification
Runtime Vеrification@rv_inc·
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.
English
1
3
4
277
Wireshape retweetledi
Runtime Vеrification
Runtime Vеrification@rv_inc·
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.
English
1
3
5
669