Blog

Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.
Networks
Aleo: Presenting the Privacy-Centric Future of Blockchain
An introduction to Aleo, a layer 1 blockchain leveraging ZK-proofs to ensure privacy to users
March 14, 2024
5 min read

Imagine a world where online interactions don't come at the cost of your privacy. Where you can participate, transact, and share data on your own terms, shrouded in a cloak of cryptography. This is the future envisioned by Aleo, a revolutionary blockchain project that throws open the doors to a privacy-centric internet. Let's delve into Aleo, exploring its technology, participants, and the diverse ecosystem it cultivates.

Decoding what Aleo actually is?

At its core, Aleo is a layer-1 blockchain that leverages zero-knowledge proofs (ZKPs) to unlock unprecedented possibilities for private applications. ZKPs allow users to prove the legitimacy of information without revealing the underlying data itself. This translates to applications where users can participate, interact, and share data confidently, with their privacy remaining more sacred.

Key Terminologies

Credit: A credit is the native asset of the network. It is used to pay for deployment and execution fees of zero-knowledge programs. Credits can also be staked on the network as a form of governance to protect the integrity and security of the protocol.

Microcredit: A microcredit is a subdivision of the native asset (credit). One credit can be further divided into smaller units, and a microcredit is one millionth of a credit.

Prover: A prover is a node on the network that computes zero-knowledge proofs. These proofs, which can be of two types (solutions and transactions), are crucial for validating and securing transactions and activities on the network.

Solutions: In the context of zero-knowledge proofs, a solution attests to the execution of a randomly-sampled Aleo program. When a prover successfully proves the execution, a reward is distributed to both the prover and the stakers on the network.

Transactions: Transactions attest to the execution of user-deployed Aleo programs. When a prover provides a valid transaction proof, a transaction fee is rewarded and distributed to the network.

Stakers: These individuals contribute to the network's security by locking up their Aleo credits (ALEO), earning rewards in return.

Validators: Similar to traditional blockchains, validators verify transactions and secure the network, ensuring its integrity and preventing fraud.

The Technology Behind:

The robust architecture of Aleo rests on three key pillars:

  • Leo (Programming Language): A user-friendly Rust-based DSL designed to simplify ZKP development, removing the barrier for programmers less familiar with complex cryptography.
  • snarkOS (Network Layer): A permissionless and scalable network specifically built for ZK-powered smart contracts, enabling secure and private on-chain execution.
  • snarkVM (Virtual Machine): A powerful virtual machine optimized for ZKPs, delivering efficient proof generation and unlimited runtime, catering to even the most intricate applications.

Dive deep into Aleo’s consensus mechanism - AleoBFT

AleoBFT is a DAG-based BFT protocol inspired by Narwhal and Bullshark. Validators propose batches of transmissions, await 2ƒ + 1 signatures, certify the batch, and advance rounds synchronously for an honest majority. In odd rounds, validators elect a leader for the previous even round, ensuring availability thresholds are met. This process ensures all validators advance together, assuming honesty.

Here’s how the Quorum for Block Production in Even Rounds is achieved:

  1. Leader Election with ƒ + 1 Proposals from Next (Odd) Round:
  • Leader has a batch certificate in the even round with at least 2ƒ + 1 batch certificates from the prior (odd) round.
  • Leader has a batch certificate for the even round included by at least ƒ + 1 batch certificates for the next (odd) round.
  1. Quorum 2ƒ + 1 Achieved without Leader in Even Round:
  • If waiting for the leader times out, and the even round has more than 2ƒ + 1 batch certificates without the leader, validators can proceed without the leader.

The Fueling Force - Aleo Credits (ALEO):

The native token of the Aleo ecosystem, Aleo credits (ALEO), serve multiple purposes:

  • Staking: As mentioned earlier, users can stake Aleo credits to contribute to network security and earn rewards.
  • Fees: Certain network operations incur fees paid in Aleo credits, incentivizing proper resource utilization and network sustainability.
  • Governance: In the future, Aleo credits are envisioned to play a crucial role in community governance, allowing holders to participate in shaping the network's evolution.

How Aleo Credits are distributed:

Design of AleoBFT

AleoBFT operates over a simple set of data structures - a committee, batch proposal, and block. Let’s understand these one-by-one:

Committee:

  • Committee Formation and Membership: Validators, staking a minimum of 1,000,000 credits, govern a round collectively, deciding the BFT protocol until the next committee. It encompasses the starting round, total stake, and committee members with their stake and openness to delegators.
  • Bonding and Unbonding: Validators and delegators can bond and unbond each round, enabling new members to join or existing ones to leave. New validators require 1,000,000 credits, and existing validators must maintain this amount.
  • Leader Election: A cryptographic hash function selects the leader for each even round, considering the round number, number of validators, and their stake.

Batch Proposal: In each round, every committee member suggests a batch to certify, using batch proposals to communicate and maintain agreement on the DAG's status. Each batch proposal contains a Batch ID, Batch Header and a Batch Certificate.

Block: A block is created when the commit rule is activated in AleoBFT. It includes a block header, a sequence of batch certificates, ratifications, solutions, transactions, and a list of aborted transmission IDs.

Aleo’s Flourishing Ecosystem:

The true mark of a successful blockchain lies in its ability to foster a vibrant community and diverse applications. Aleo boasts a rapidly growing ecosystem with projects already exploring its potential across various domains:

  • Decentralized Finance (DeFi): Several DeFi projects are building privacy-preserving lending, borrowing, and trading protocols on Aleo.
  • Data Sharing and Management: Platforms are emerging to enable secure and controlled data sharing between individuals and organizations.
  • Supply Chain Management: Aleo's technology holds promise for tracking goods and materials through complex supply chains while safeguarding sensitive information.
  • Healthcare and Personal Data: Projects are exploring the use of Aleo for storing and managing highly sensitive medical and personal data securely.

Talking about recent updates - Aleo is now considered as one of the top 5 fastest-growing ecosystems for overall developers. Also, Aleo has completed the security audits of snarkOS & snarkVM, which was performed by Trail of Bits.

Aleo worked hard to make the technical details of the project easier to understand. They've simplified and explained the main basics in a straightforward way. For example:

Aleo’s Future:
  • Sustainability: Aleo is committed to eco-friendliness, utilizing a unique consensus mechanism called Proof-of-Stake with zkSNARKs (PoS zk) that consumes significantly less energy than traditional proof-of-work blockchains.
  • Strong Partnerships: The project boasts collaborations with industry leaders like Chainlink and Parity Technologies, indicating its potential for future growth and adoption.
  • Development Roadmap: While still under development, with its mainnet launch anticipated in the near future, the development roadmap showcases continuous improvements and exciting features on the horizon.

As a validator and staking infrastructure provider, Chorus One is deeply impressed by Aleo's groundbreaking approach to privacy in the blockchain space. The potential to unlock entirely new use cases and empower individuals with greater control over their data resonates deeply with our mission to build a more inclusive and accessible crypto ecosystem.

We're particularly excited about the unique technology stack, including snarkOS and snarkVM, which pave the way for scalable and efficient privacy-preserving applications. We believe Aleo has the potential to significantly impact various industries, from DeFi and healthcare to supply chain management, and Chorus One is proud to be a part of this journey. We are looking forward to actively contributing to the network's security and growth through staking infrastructure and look forward to witnessing Aleo's continued development and the exciting applications it enables.

Resources

Website: https://aleo.org/

Twitter: https://twitter.com/AleoHQ

Youtube: https://www.youtube.com/@AleoLabs/featured

Github: https://github.com/AleoHQ

Discord: https://discord.gg/aleo

About Chorus One

Chorus One is one of the biggest institutional staking providers globally operating infrastructure for 50+ Proof-of-Stake networks, including Ethereum, Cosmos, Solana, Avalanche, and Near, amongst others. Since 2018, we have been at the forefront of the PoS industry and now offer easy enterprise-grade staking solutions, industry-leading research, and also invest in some of the most cutting-edge protocols through Chorus Ventures.

Opinion
On the Risks for Restaking ETH with Chorus One through Eigenlayer
Understand the risks inherent to restaking in Eignelayer and how Chorus One maintains a security first approach to your assets.
March 11, 2024
5 min read
Summary
  • OPUS Pool allows you to stake any amount of ETH, mint osETH as a liquid token and deposit your osETH into Eigenlayer (when the deposit cap is lifted). You can also restake LSTs and be an early depositor in the protocol, to allow a seamless delegation to Chorus One as soon as the option is enabled.
  • Before choosing to click on “restake”, you might want to consider some of the inherent risks to restaking your tokens. These include general staking risks, and risks specific to the Eigenlayer protocol.
  • Chorus One has a historical record of strong security practices. We have obtained the ISO 27001:2022 certification, have robust infrastructure with 24/7 on-call, and have never suffered any slashing incidents in our 6-years of service. Beyond that, we dedicate time to research best security practices and due diligence for all our networks.

As Ethereum restaking gains momentum, we wanted to take a moment to enumerate some of the risks that you as a user might be exposed to when choosing to restake your tokens. While restaking’s innovative consent can offer benefits to Ethereum staking, like generating more value for your staked tokens, it is also important to think clearly and consider some of these potential risks:

Slashing

As with any staking activity on Ethereum, your pledged ETH is subjected to networks rules that can result in the partial or total loss of your tokens, in the case of proven malicious activity that targets the network. Although slashing is a relatively rare occurrence (and has never happened to any of Chorus One’s validators), it is still the biggest risk you might be subjected to. When users are able to delegate tokens,  they would be susceptible to slashing penalties from both Ethereum and Actively Validated Services (AVS's).

Smart contract risk

A more common source of risk is related to the smart contracts that govern the protocols and services on Ethereum, as they are susceptible to bugs on their code that can be exploited, as well as unexpected behavior under untested conditions. Projects built on Eigenlayer (like our OPUS 'Pool' restaking fuctions) ultimately secure their funds within the contracts of Eigenlayer. In the event of an attack on the Eigenlayer contract, the funds of associated projects may be jeopardized. This would be true as well of the code associated with different AVSs.

Eigenlayer has been audited twice in the past, a first audit done by Consensys Diligence, and a second audit done by Sigma Prime. You can read more about the auditing process here: https://docs.eigenlayer.xyz/eigenlayer/security/audits

Additional risks

Although the first two would be the most definitive scenarios that could have a direct effect on your restaked assets, there’s another suite of known (and possible unknown) risks that can be linked to this new technology:

  • Lack of liquidity of your staked assets that are locked in Eigenlayer, plus 7-day delay to withdraw any funds.
  • Potential risks associated with the concentration of assets within the Restaking protocol.
  • Liquid staking tokens may experience price fluctuations or other consequences if enough accumulation occurs in their EigenLayer contracts.
  • In the case of native restaking, you have some consensus risk, because you’re setting the withdrawal address to an EigenPod. This might introduce some new incentives in the protocol.

Chorus One puts a premium on the security of all its users, recognizing its paramount importance in fostering trust and peace of mind. Through our comprehensive security framework, we ensure that your investments are well-protected: both, in our OPUS Pool and OPUS Dedicated products, in our underlying infrastructure, and at every step when deciding to onboard a network or protocol.

ISO 27001:2022 Certification

Chorus One adheres to stringent regulatory requirements, safeguarding your assets in accordance with data protection and privacy laws. In October 2023, we attained the coveted ISO 27001:2022 certification ensuring world-class security for all our customers.

Resilient infrastructure

We guarantee our high-quality of service with minimal disruptions, due to a strategic combination of multiple availability zones for our infrastructure; and network security procedures such as stringent access control, encrypted connections, firewall fortifications and security configurations. Our team is trained and provided with security awareness workshops to ensure our best line of defense.

Careful research process

Our dedicated research team conducts in depth due diligence on all the networks and protocols we onboard, to understand any potential risks we can be exposed to when participating on the systems. We go above and beyond to build a more security-minded ecosystem and to promote professional standards in the industry.

Learn more about Chorus One’s commitment to security here: https://security.chorus.one/

About Chorus One

Chorus One is one of the biggest institutional staking providers globally operating infrastructure for 50+ Proof-of-Stake networks, including Ethereum, Cosmos, Solana, Avalanche, and Near, amongst others. Since 2018, we have been at the forefront of the PoS industry and now offer easy enterprise-grade staking solutions, industry-leading research, and also invest in some of the most cutting-edge protocols through Chorus Ventures.

Core Research
MEV-Boost Withdrawal Bug
We describe a bug we've encountered in mev-boost, the standard software validators used to solicit blocks from sophisticated, specialized entitites called builders on Ethereum.
March 11, 2024
5 min read

The following article is a summary of a recent ETHResearch contribution by Chorus One Research, which describes a bug we've encountered in mev-boost, the standard software validators used to solicit blocks from sophisticated, specialized entitites called builders on Ethereum. This bug is not specific to Chorus One; it can affect all Ethereum validators running mev-boost.

To read the full paper, please visit: https://chorus.one/reports-research/mev-boost-withdrawal-bug

--

Chorus One runs a proprietary version of mev-boost, dubbed Adagio, which optimizes for mev capture by optimizing latency.  Our commitment to Adagio obligates us to have an in-depth understanding of mev-boost and Ethereum's PBS setup in general. As such, we decided to dive deeper, and to make our findings available to the Ethereum community.

In practice, mev-boost facilitates an auction, where the winning builder commits to paying a certain amount of ETH for the right to provide the block that the validator proposing the next slot ("proposer") will include. This amount then accrues to an address provided by the validator, referred to as the "fee recipient".

Proposers and builders do not communicate directly, but exchange standardized messages via a third party called a "relay". The relay can determine the amount paid for a block by comparing the balance of the fee recipient at certain fixed times in the auction.

We have observed that in instances where the block in question coincidentally includes reward withdrawals due to the fee recipient, the relay has been unable to separate these withdrawals from the amount paid by the builder. This leads to an inflated value for the auction payment. This inaccuracy can negatively reflect on the Ethereum network under its current economic model (EIP-1559). Specifically, it may decrease the amount of transactions processed and decrease the amount of ETH burned, thus manifesting a small but measurable negative net outcome for the network overall.

For a deep dive, please visit: https://chorus.one/reports-research/mev-boost-withdrawal-bug

About Chorus One

Chorus One is one of the biggest institutional staking providers globally operating infrastructure for 50+ Proof-of-Stake networks, including Ethereum, Cosmos, Solana, Avalanche, and Near, amongst others. Since 2018, we have been at the forefront of the PoS industry and now offer easy enterprise-grade staking solutions, industry-leading research, and also invest in some of the most cutting-edge protocols through Chorus Ventures.

Networks
An introduction to Stacks, the Bitcoin Layer 2 for Smart contracts, Apps, DeFi
We delve into one of the most thrilling projects in the Bitcoin Layer 2 ecosystem: Stacks.
March 8, 2024
5 min read

Since its introduction in 2008, the Bitcoin whitepaper has marked the beginning of a transformative journey. Nations have embraced it as official currency, companies have added Bitcoin to their assets, and in 2024, Bitcoin ETFs are actively being traded. Despite these advancements, Bitcoin has struggled to shed the perception of being merely a store of value, akin to digital gold. While it's true that facilitating smart contracts was not Bitcoin's initial aim, the explosive growth of decentralized finance (DeFi) prompts a thought-provoking question: could the functionalities of DeFi be integrated into Bitcoin?

This is where Bitcoin Layer 2 solutions, or L2s, come into play. Below, we'll delve into one of the most thrilling projects in this realm - Stacks.

⚡️Chorus One is proud to join the latest team of signers on Stacks and further enhance the network’s security and decentralization. Learn more here.

WHAT IS STACKS

It's widely acknowledged that Bitcoin stands as the most decentralized and secure blockchain. However, the high cost of its block space, low TPS, along with the need for additional computing resources among other factors, have made the development of smart contracts on its platform particularly challenging. This situation paved the way for the emergence of networks dedicated to smart contracting, such as Ethereum. Stacks, however, offers a solution to this issue.

Stacks is a novel layer built atop Bitcoin and it extends the utility of the most secure and decentralized blockchain by introducing smart contracts and dApps functionalities without altering Bitcoin's core protocol. This integration is facilitated through the Proof of Transfer (PoX) consensus mechanism, a pioneering approach that reuses Bitcoin’s Proof of Work (PoW) to secure the Stacks network, enabling smart contracts that directly interact with Bitcoin state and transactions.  The goal of the Stacks layer is to grow the Bitcoin economy, by turning BTC into a productive rather than passive asset, and by enabling various decentralized applications. The Stacks layer has its own global ledger and execution environment, to support smart contracts and to not overwhelm the Bitcoin blockchain with additional transactions. It also provides mechanisms for higher performance, such as fast blocks, decentralized peg, and subnets.

The question of the necessity for a Bitcoin Layer 2 revolves around the potential of integrating fully-expressive smart contracts into Bitcoin. Successfully embedding such functionality could revolutionize Bitcoin's application, ushering in new use cases worth hundreds of billions, including stablecoins, NFTs, and Automated Market Makers (AMMs). This evolution would transform Bitcoin from a passive asset into a cornerstone of digital finance, significantly boosting its demand, value, and utility by enabling a wide array of yet-to-be-explored applications.

HOW DOES STACKS WORK?

For blockchains with native smart contract capabilities, essential features include the ability for smart contracts to be fully secured by the network's security mechanisms, such as hash power in Proof of Work (PoW) systems or staked assets in Proof of Stake (PoS) systems. This ensures that smart contracts benefit from the same level of security as the underlying blockchain. The smart contracts not only need to have ‘read’ but also ‘write’ capabilities. As a layer on top of Bitcoin, Stacks plans to bring these features to Bitcoin through the following elements:

STX: STX, the native token of Stacks, plays a pivotal role in the PoX (Proof-of-Transfer) consensus mechanism, serving two main functions: (a) incentivizing miners to secure the Stacks global ledger, which operates independently of Bitcoin's Layer 1, and (b) ensuring the operational continuity of the sBTC peg by providing rewards to threshold signers involved in the peg mechanism. STX was distributed to the public through the first-ever SEC-qualified token offering in US history and currently enjoys a market capitalization of over $4B.

PoX: Proof of Transfer (PoX) is a unique consensus mechanism to the Stacks blockchain that is designed to leverage the security and robustness of Bitcoin, while allowing Stacks to introduce smart contracts and decentralized applications (dApps) on top of Bitcoin. In typical Proof-of-work (PoW) systems, miners must solve complex mathematical problems. In PoX, miners must transfer a base cryptocurrency (in this case Bitcoin) to join the mining process. This Bitcoin is transferred to STX holders that participate in the network by sta(c)king their STX STX tokens, thus securing the network. So in PoX, you’re bidding Bitcoin in the hopes of being selected to add the next block to the chain versus committing computation power in the case of PoW. Like other networks, the miners on Stacks get block rewards but in STX and not BTC. This dual mechanism integrates the economic incentives of both Bitcoin and Stacks.

Stacking: Stacking is not staking, but the fundamental concept is very similar. Staking involves locking up token X and getting rewards with staking yields in the same token X. Eg - Stake SOL and get rewarded in SOL. Stacking mandates depositing STX tokens to get rewarded in a different token (BTC). This synergy between BTC and STX is interesting and actually incentivizes BTC holders to participate in the STX ecosystem. STX holders on the other side are incentivized to stack their tokens to be rewarded in arguably the most decentralized and secure cryptocurrency token BTC.

Signing: Post the Nakamoto release, the role between Miners and Stackers has been segregated. Where previously, miners decided the contents of the block and also decided whether or not to include them in the Stacks chain, now they would only be deciding the contents of the block and the stackers would be taking on the role of deciding whether to include them in the block or not. Stackers validate and sign blocks through a distributed signing protocol, requiring a significant fraction of locked STX to agree on block inclusion, thus preventing forks and enhancing the chain's integrity. Chorus One is proud to join the team of signers on Stacks along with other industry leaders likeBlockdaemon, NEAR Foundation, DeSpread, Alum Labs, Kiln, Luganodes, Copper, and Figment.

sBTC: sBTC is a fungible token that is pegged 1:1 with Bitcoin to enable Bitcoin holders to participate in the Stacks ecosystem. Users who want to interact with BTC and developers who want to create apps with BTC programmability can both use sBTC, thereby extending BTC’s utility beyond Bitcoin. To deposit BTC into sBTC, a Bitcoin holder would create a deposit transaction on the Bitcoin chain. This deposit transaction informs the protocol of how much BTC the holder has deposited, and to which Stacks address the holder wishes to receive the sBTC. The sBTC system responds to the deposit transaction by minting sBTC to the given Stacks address. To withdraw BTC, a Bitcoin holder creates a withdrawal transaction on the Bitcoin chain. This withdrawal transaction informs the protocol of how much sBTC the holder wishes to withdraw, from which Stacks address the sBTC should be withdrawn, and which Bitcoin address should receive the withdrawn BTC. In response to this transaction, the sBTC system burns the requested amount of sBTC from the given Stacks address and fulfills the withdrawal by issuing a BTC payment to the given BTC address with the same amount.

Clarity: Stacks also has its native programming language called Clarity, crafted with a focus on safety and security. The inspiration for Clarity's development was drawn from analyzing and addressing vulnerabilities commonly found in Solidity. By integrating these lessons, Clarity was meticulously designed to offer a secure coding environment, prioritizing the prevention of exploits right from its core. You can read more about Clarity in the online book - Clarity of Mind.

STX tokenomics

Total supply: ~1.82B

APY: 6% (BTC)

Chorus One and Stacks

We currently support infrastructure for over 50 networks, and we're thrilled to announce that Stacks will mark our inaugural support for a Bitcoin Layer 2 solution. This is a significant milestone for Chorus One, largely due to the exceptional team behind Stacks, whose expertise and dedication have been evident over many years of development.

If you have STX tokens and would like to stack them, feel free to reach out to one of our experts at staking@chorus.one.

To read more about Stacks, we recommend the official documentation available in docs.stacks.co.

About Chorus One

Chorus One is one of the biggest institutional staking providers globally operating infrastructure for 50+ Proof-of-Stake networks, including Ethereum, Cosmos, Solana, Avalanche, and Near, amongst others. Since 2018, we have been at the forefront of the PoS industry and now offer easy enterprise-grade staking solutions, industry-leading research, and also invest in some of the most cutting-edge protocols through Chorus Ventures.

No results found.

Please try different keywords.

 Join our mailing list to receive our latest updates, research reports, and industry news.

Thanks for subscribing. Watch out for us in your inbox.
Oops! Something went wrong while submitting the form.