Herramientas para constructores

Core Technology Development variance_dart: Developed a comprehensive dart package enabling passwordless dApps with passkey support, reaching v0.1.9 with over 500+ weekly downloads. Web3_signer: Created a companion package supporting EIP-1271 message signing with multiple authentication methods (passkeys, HD wallets, private keys), processing over 200+ signatures weekly. ENS Normalize: Implemented the full ENSIP-15 standard in Dart. Passes 100% of the official validation tests and recognized by the ENS DAO and ENS community. Industry Recognition & Integration ENS Community Recognition: Featured in ENS DAO newsletter. Developer Adoption: Achieved 13+ GitHub stars and 5+ forks across repositories, with an active contributors. SDK Reliability: Maintaining 99.9% uptime with average response time under 50ms for core SDK functions Strategic Partnerships Voltage Finance (Fuseio) Integration: Powered account abstraction for their new decentralized wallet, enabling 50,000+ users to perform gasless transactions and reducing user onboarding friction by 73% LearnWay Collaboration: Implemented education-focused blockchain tools serving 2000+ students and gamers eliminating gas fees for 4 key educational interactions: Claim sign-in bonuses Start/join quiz sessions Award distributions Reduced failed transactions by 96% compared to traditional wallet interactions LearnWay used to be a web2 application driving incentivized learning for the blockchain. They choose Variance to transition to the Lisk blockchain. Additional Technical Achievements Transaction Optimization: Reduced gas consumption by 43% through batched transactions and advanced bundling techniques. Cross-Chain Support: Extended functionality to 6 major EVM-compatible chains, including Ethereum, Polygon, Arbitrum, Optimism, and Base. Mobile Integration: Developed native mobile SDKs for iOS and Android, reducing integration time from 2 weeks to 3 days Business Impact User Onboarding: Partners using Variance tools have seen 68% higher user retention compared to traditional Web3 onboarding. Transaction Success: Improved transaction success rates from industry average of 87% to 99.3% through intelligent gas estimation and retry mechanisms. Enterprise Adoption: Secured 2 enterprise-level implementations, including a financial institution leveraging account abstraction for treasury management. Extended functionality to mobile platforms with native integrations for hardware features like NFC Built infrastructure supporting cross-chain operations through custom bridge solutions

We are Runtime Verification, a research and development company building rigorous tools to ensure the safety and correctness of critical systems. Our team has developed KEVM, the most complete and battle-tested formal semantics of the Ethereum Virtual Machine (EVM), written in the K Framework. KEVM is not just a specification, it is an executable specification that can be used to symbolically reason about smart contracts, run conformance tests, analyze gas usage, debug programs, and formally verify correctness properties. It passes the full Ethereum test suite and is used to verify high-value contracts, including ERC20 tokens in both Solidity and Vyper. We recently updated the semantics to support Pectra upgrade. KEVM is being actively utilized by Kontrol - our formal verification tool for Soldiity, which is actively used by leading teams in the EVM ecosystem, including Optimism, Ethereum Foundation, Lido, Uniswap, as well as security researchers and auditors across the broader Ethereum community. We actively maintain this repository, contribute to Ethereum’s protocol evolution, and integrate with developer tooling like Foundry. Through KEVM, we are pushing the boundaries of what’s possible in provably correct and secure smart contract infrastructure.

OpenOcean is a leading DEX aggregator with best swap prices across 30+ chains.