Provable转发了
snarkOS v3.4.x is now available ?? ? Faster Merkle root computations ? Caching of fee verifications ? No more synthesis of imported programs in deployment transactions https://lnkd.in/gdeDwh4c
Provable
软件开发
Your Money, Your Rules ? ?? We equip developers to build secure, private applications on Aleo
关于我们
At Provable, our mission is to redefine trust and privacy in the digital world. By creating tools that simplify the complexities of zero-knowledge technology, we empower developers to build applications that prioritize security, user control, and scalability. We envision a future where privacy is not an afterthought but a fundamental standard, enabling a more secure and equitable Web3. Our commitment extends beyond technology to fostering a vibrant, collaborative community of innovators. Through accessible resources, thoughtful design, and a focus on developer success, we aim to bridge the gap between cutting-edge blockchain technology and real-world applications. Together, we’re not just building tools—we’re shaping the foundation for a private, decentralized future.
- 网站
-
https://provable.com
Provable的外部链接
- 所属行业
- 软件开发
- 规模
- 11-50 人
- 总部
- San Francisco
- 类型
- 私人持股
- 创立
- 2019
地点
-
主要
获取路线
US，San Francisco
Provable员工
动态
-
Provable转发了
?? Big news! We're thrilled to announce PayPer, a revolutionary stablecoin ecosystem being built on Aleo! Watch our short trailer to see how we're bringing stability, privacy, and scalability to digital finance. Join us on Telegram and Discord to be part of our journey ???? - https://t.me/payper_fi - https://lnkd.in/du-TmPmU
-
Provable转发了
With Aleo’s PoSW (Proof of Succinct Work), you can delegate proof generation to a decentralized network of provers or do the proving yourself. That kind of flexibility isn’t possible with centralized proving. Learn more ↓ https://lnkd.in/gAXT-UT6
-
-
The Leo Programming Language: Fast, Safe, and Worth the Wait! ?? Discover why Leo is a game-changer for developers—combining speed, security, and efficiency. Don’t miss out on this exciting innovation! ???Read here to learn more: https://lnkd.in/g6Ss2DJt
-
Really excited for this partnership! Learn more about what Provable is doing with Google Cloud here https://lnkd.in/gWPAWz8R
Today, we're announcing that the Aleo Network is the first privacy-first Layer 1 ZK blockchain to integrate with Google Cloud, reinforcing our leadership in the ZK ecosystem. Learn more ↓ https://lnkd.in/ge6Apm_U
-
-
Provable转发了
Today we're announcing that our validator set has increased to 25 on mainnet. By distributing consensus power across more validators, the network is now more resilient, decentralized, and reliable. Read more ↓ https://lnkd.in/g9NQGAzm
-
-
Provable转发了
Kicking off 2025 with what is, in my opinion, one of the most exciting roles I've worked on in a while - a Compiler Engineering role at Provable. You'd be adding massive impact to the web3 and zero-knowledge ecosystem through building and designing Leo, the language of the Aleo blockchain. We've posted a job description here: https://lnkd.in/gfSgVCcd but here's the tl;dr of what would make you an ideal candidate: ? You've developed your own, or contributed to, programming language (those that have worked on Move or Noir or Cairo, let's chat!) ? You took CS143 (Compilers) at Stanford or CS164 (Programming Languages and Compilers) at Berkeley and really, really liked that class ? You're based in the Bay Area and down to jam in-person in SF with an absolutely cracked team ? You want to hack, move fast, break things, and pour gas on any fire Open to any level here as it'll be more important that you know how to build things from scratch and are excited about the intricacies that come with designing a new programming language. Ping me or apply on the site and we'll get things rolling.