Truebit VS Cartesi

For a more decentralized approach, TrueBit offers a solution for off-chain computation. It involves solvers and verifiers who perform computations and verify them. In case of a challenge, an iterative verification process takes place on-chain. Ethereum miners act as judges to make a final ruling. TrueBit creates a computation market where decentralized applications can pay for verifiable computation outside of the... - Source: dev.to / 10 months ago

Yes, it is on truebit.io site: "Truebit combines with bulletproofs to achieve compact, zero-knowledge proofs without trusted setup. ". Source: over 1 year ago

Here's a link to their site, https://cartesi.io/. You can navigate to their discord and join the developer calls. Source: about 1 year ago

I'm staking my CTSI on cartesi.io in one of the staking pools. Is there any chance I can see my staked CTSI in my Ledger application? Source: over 1 year ago

And that's not all. Cartesi gives you access to the full power of an OS - want to use a file system? Go right ahead! If that's got you intrigued, explore more and see how you can get started over on: cartesi.io. Source: over 1 year ago

With your experience in Java, you should consider exploring Cartesi. They integrated Linux, which makes it possible to build blockchain solutions or smart contracts using Java, Python, C++ and other popular programming languages. Last time I checked, they are looking to add a backend engineer. It might be a good place to start. Source: over 1 year ago

Here you have. If you are a dev - better to join their Discord community and start digging in - they also offer grants and in general support for developers. Source: over 1 year ago