Informal Systems

Informal Systems

Software Development

Toronto, Ontario 3,571 followers

Verifiable distributed systems and organizations.

About us

We are a cooperatively owned and governed organization with the mission to build the tools that facilitate verifiable and trustworthy relationships between protocols and people. We are a core contributor to the Cosmos Network and work on bold problems at the intersection of formal verification and high-value distributed infrastructure that powers the Cosmos Network, the Internet of Blockchains.

Website
https://informal.systems
Industry
Software Development
Company size
11-50 employees
Headquarters
Toronto, Ontario
Type
Privately Held
Founded
2019
Specialties
formal verification, distributed systems, software engineering, blockchain, and security audits

Locations

Employees at Informal Systems

Updates

  • Informal Systems reposted this

    𝗖𝗮𝗹𝗹𝗶𝗻𝗴 𝗮𝗹𝗹 𝗥𝘂𝘀𝘁 𝗺𝗮𝘀𝘁𝗲𝗿𝘀 𝘄𝗶𝘁𝗵 𝗮 𝗻𝗲𝘁𝘄𝗼𝗿𝗸 𝗼𝗯𝘀𝗲𝘀𝘀𝗶𝗼𝗻! Do you dream in code and crave the challenge of revolutionizing finance? Then this remote-first, collaborative opportunity Informal Systems is tailor-made for you! Join our team of passionate engineers and dive deep into the #CyclesMoney, the future of finance. You'll be designing and building cutting-edge network flow algorithms, blockchain protocols, and zero-knowledge proofs. We're searching for a rockstar who: • 𝗟𝗶𝘃𝗲𝘀 𝗮𝗻𝗱 𝗯𝗿𝗲𝗮𝘁𝗵𝗲𝘀 𝗥𝘂𝘀𝘁: You're a wizard with memory management, lifetimes, and all the magic that makes Rust tick. ✨ • 𝗧𝗮𝗺𝗲𝘀 𝘁𝗵𝗲 𝗳𝗹𝗼𝘄: Network algorithms hold no secrets for you. You can bend them to your will, optimizing performance and security. • 𝗖𝗿𝘆𝗽𝘁𝗼-𝗰𝘂𝗿𝗶𝗼𝘂𝘀: You're fascinated by the potential of blockchain and zero-knowledge proofs to transform finance. • 𝗖𝗼𝗹𝗹𝗮𝗯𝗼𝗿𝗮𝘁𝗲𝘀 𝗹𝗶𝗸𝗲 𝗮 𝗰𝗵𝗮𝗺𝗽𝗶𝗼𝗻: You thrive in a remote-first environment, building connections and achieving greatness together. • 𝗜𝗻𝗻𝗼𝘃𝗮𝘁𝗲𝘀 𝗿𝗲𝗹𝗲𝗻𝘁𝗹𝗲𝘀𝘀𝗹𝘆: You push boundaries, challenge assumptions, and never settle for the status quo. If this sounds like your jam, we want to hear from you! Join us and be part of something truly special. We're building the future of finance, and we need your brilliance to make it happen. ✨ https://lnkd.in/eWUvmfNy #Rust #RustDeveloper #CoFi #Innovation #CyclesMoney #NetworkFlows #Blockchain #ZeroKnowledgeProofs #PaymentSystems #Jobs #Hiring #NowHiring #RemoteWork #networkscience

    • No alternative text description for this image
  • View organization page for Informal Systems, graphic

    3,571 followers

    🚀 Big news, the new year came early for @cometbft! CometBFT v1.0.0-alpha.1 is here, marking a huge milestone in the Interchain Stack's journey. Packed with thrilling new features and enhancements, we can't wait to hear what the community thinks! 👇 https://lnkd.in/gaCVaN2M As CometBFT steps into its v1 era, expect a refined versioning approach. However, keep in mind that this alpha release might include Go API-breaking changes until we finalize the candidate release. But now let's unveil a few features this shiny new version brings! 🎆 🌐 Bandwidth Efficiency Boost in CometBFT v1.0.0-alpha.1! Validators now proactively share block parts they already have, significantly reducing network amplification and bandwidth usage. This update marks a step towards more efficient network operations. 💡 Opt-in Nop mempool! An experimental feature that allows . This lets operators fine-tune bandwidth usage related to transaction gossip, pushing efficiency even further. 🛠️ Introducing the 'nop' mempool option for CometBFT! This experimental feature now enables application developers to build their transaction dissemination mechanism. This innovation offers greater flexibility and customization in handling transactions. 📡 The v1 Alpha releases the Data Companion API! These new gRPC APIs empower external applications to manage data pruning, facilitating efficient data transfer and custom indexing solutions, thus reducing node storage needs. ⚙️ Protobuf & Internalization Update: We've meticulously versioned Protobuf definitions & RPC for stable APIs. Also, moving numerous Go packages to 'internal' accelerates development, enabling faster rollout of significant updates without impacting user codebases. 🌊 Clearly, there's much more than we can fit in a tweet thread. Dive deeper into the details of this release here: https://lnkd.in/g8MjRKyr Don't miss out! Follow @cometbft and spread the great news far and wide! Check it out: https://lnkd.in/gDHdPvzd

    cometbft/CHANGELOG.md at v1.0.0-alpha.1 · cometbft/cometbft

    cometbft/CHANGELOG.md at v1.0.0-alpha.1 · cometbft/cometbft

  • View organization page for Informal Systems, graphic

    3,571 followers

    In #Cosmos, there's no shortage of exciting developments and today we want to talk about optimistic block execution, a feature that could revolutionize app chains and bring them to new levels of performance 📈 Let's break down this groundbreaking process without diving deep into tech jargon: ABCI++ serves as the bridge between the consensus engine and the application. As of now, the application steps in only once during the consensus - after a block is solidified. This limitation held back several features, especially those enhancing scalability and performance. Here's the current scenario: 1. Comet finalizes a block. 2. The application processes that block. 3. Control is handed back to CometBFT. Enter optimistic execution: it allows steps 1 and 2 to run concurrently. This drastically boosts the speed of block finalization. A real-world example? @SeiNetwork now achieves block times of a mere 300ms. Future decentralized applications must be swift. It's why numerous contributors and the CometBFT team dedicated two years to ABCI++. The outcome? Sub-second block times! IBC transactions will also benefit, boosting the Cosmos ecosystem's speed and fluidity. What is your opinion on optimistic block execution? We'd love to hear your perspective! Also, if you're interested in discovering more about upcoming features, make sure to follow us for the latest updates.

    • No alternative text description for this image
    • No alternative text description for this image
    • No alternative text description for this image

Similar pages

Browse jobs

Funding