taiga
AlephBFT
taiga | AlephBFT | |
---|---|---|
1 | 1 | |
126 | 48 | |
3.2% | - | |
8.7 | 8.5 | |
about 1 month ago | 1 day ago | |
Rust | Rust | |
GNU General Public License v3.0 only | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
taiga
-
Ask HN: Who is hiring? (October 2022)
Heliax | Multiple roles | REMOTE (+-2 hours from CEST ideal) | Full Time | https://heliax.dev/jobs#all-jobs
Heliax is a public goods lab which was built on years of pioneering experience across distributed systems, programming language theory, and zero-knowledge cryptography. All our work is open-source. Examples of some of our projects are Namada (https://github.com/anoma/namada), a sovereign proof-of-stake blockchain; Juvix (https://github.com/anoma/juvix), an experimental programming language; and Taiga (https://github.com/anoma/taiga), a framework for generalized shielded state transitions.
We are currently actively hiring for a number of positions, most notably Senior Rust Engineers, Senior Full Stack Engineers, and a Protocol Security Lead.
For the Senior Rust Engineer position, we are looking for experienced Rust developers that are interested in applying novel research to create high-quality open-source technology and solve outstanding problems in the blockchain space. You'll be working on distributed ledger technology implemented in Rust, all the way up and down the stack from the P2P layer to consensus algorithms, smart contract systems, proof-of-stake incentive mechanisms, privacy-enhancing cryptographic components, and on-chain governance procedures.
For the Senior Full Stack Engineer position, we are looking for either web developers with experience using TypeScript and other modern web frameworks or software developers who have experience with Rust. Some representative examples of features you’ll be working on in this role are: adding support for Ledger hardware wallet connectivity, support for generation and use of file-based keys, generation of shielded transactions using cryptographic libraries, display of any digital asset (including NFTs) and associated transaction history, and on-chain management of staking and governance. It's a plus if you've previously worked with WebAssembly.
For the Protocol Security Lead, you'll be responsible for breaking protocols both in theory and practice in and outside the company, and assembling a team to help them do so. You'll receive a high degree of latitude and autonomy to prioritize tasks and search for the weakest links in complex systems in order to break them. The rough structure could be compared to Google Project Zero, but with a focus on cryptographic protocols & implementations instead of web technology writ large.
AlephBFT
-
Build my custom network
On the other hand, AlephBFT repo here https://github.com/Cardinal-Cryptography/AlephBFT is more like a library that Aleph Node uses. Here you can find a detailed documentation about how Node uses AlephBFT here: https://cardinal-cryptography.github.io/AlephBFT/index.html
What are some alternatives?
Nova - Nova: High-speed recursive arguments from folding schemes
aleph-node - Node implementation for aleph blockchain built with Substrate framework
lurk-rs - Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
proof-of-history-explained - code example for article: "proof of history explained" published on medium
namada - Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
AlephBFT - A rust implementation of Aleph Protocol
CloudStack - Apache CloudStack is an opensource Infrastructure as a Service (IaaS) cloud computing platform
cita - A high performance blockchain kernel for enterprise users.
juvix - Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
overlord - Overlord consensus protocol.
Engineering - What to expect when you join the VC Lab engineering team.
bft-json-crdt - 🏰 the first JSON-like Byzantine Fault Tolerant CRDT