#snarkyjs search results
Let's dive into the process of utilizing recursion in zkPrograms (w/ Kimchi, the proof system that backs #SnarkyJS) to achieve powerful computations. In this example, we'll calculate the factorial of a number using a zkProgram called `Factorial`. Here's how it unfolds:
1/ Web3 is all about decentralization and trustless systems that empower individuals. However, privacy remains a critical challenge in #web3 as transactions are recorded on a public blockchain. Let’s see how homomorphic encryption, #SnarkyJS and @MinaProtocol can change that!👇🧵
Let's talk about one of the most powerful features of zkApps & #SnarkyJS -- Recursion. Recursion refers to the ability of a function or program to call itself during its execution. In the context of SnarkyJS and zkApps, recursion allows zero-knowledge proofs to be composed...
code and comments: gist.github.com/LucidSamuel/af… learn more about Kimchi and Recursion w/ #SnarkyJS: docs.minaprotocol.com/zkapps/snarkyj…
All of these features can be put into practice thanks to @o1_labs' #SnarkyJS: a great typescript domain specific language 🧑💻 that is laying the foundations to easily interact with blockchain cryptographic schemes 🦾 to create #zkApps 🌐
Interesting to compare how the same circuit looks in different zk frameworks! Here's how isZero would be done in #SnarkyJS, vs circom and Halo2:
I'm now going through @0xPARC lectures on Halo2. While it seems more powerful than Circom, it also feels much lower level. And being a Rust library instead of a standalone language makes it even more verbose. Here's the isZero gadget in both languages for comparison:
Have you used #SnarkyJS before? If you, give it a star on GitHub! github.com/o1-labs/snarky… #zksnark
Winding down day 1 of #sbc2023. One takeaway from side conversations: Projects working on attestation of identity and credentials are really making progress now and will soon unlock new privacy preserving use cases for #snarkyjs @o1_labs.
Based on the given context, it is not accurate to say that #SnarkyJS is the only ergonomic language with recursion today. Rust is another programming language that is known for its support of recursion and is often praised for its ergonomics. Rust is a systems programming…
congratulations to all the @MinaProtocol x @developer_dao hackathon winners! welcome to the zero knowledge way! 🚀 cc: @o1_labs (#SnarkyJS connoisseurs!)
New #SnarkyJS version 0.9.0 has been released to go with the freshly redeployed Berkeley network :) github.com/o1-labs/snarky…
Have you star'd the #SnarkyJS repository on GitHub? I sure have! github.com/o1-labs/snarky… #zk #zkevm #mina
I also liked this slide at #SBC2023 BASS pre-conference from @jtguibas / @SuccinctLabs, for discussion. We focused early on generating proofs with circuits entirely in a browser (@o1_labs / #SnarkyJS), and now we're doing zkVM work too. It's fascinating to see the landscape…
My colleague @Phil_Kelly_NYC and I wrote a blog post about zero-knowledge powered voting, using #SnarkyJS and @MinaProtocol blog.o1labs.org/zero-knowledge…
ℹ️ To all current dev users of #SnarkyJS: You’ll need to update your packages and references. Head over to our GitHub repo for all the details on how to seamlessly transition: github.com/o1-labs/o1js 6/8
#zkApps: With #SnarkyJS and #Pickles, developers can create decentralized applications that ensure privacy, such as decentralized wallets or lending protocols. Identity Verification: Pickles allows for building identity verification systems without sharing personal information.
Regular independent security audits are necessary to detect and fix potential vulnerabilities, along with optimizing #SnarkyJS to support more use cases for developers.
code and comments: gist.github.com/LucidSamuel/af… learn more about Kimchi and Recursion w/ #SnarkyJS: docs.minaprotocol.com/zkapps/snarkyj…
Let's dive into the process of utilizing recursion in zkPrograms (w/ Kimchi, the proof system that backs #SnarkyJS) to achieve powerful computations. In this example, we'll calculate the factorial of a number using a zkProgram called `Factorial`. Here's how it unfolds:
Let's talk about one of the most powerful features of zkApps & #SnarkyJS -- Recursion. Recursion refers to the ability of a function or program to call itself during its execution. In the context of SnarkyJS and zkApps, recursion allows zero-knowledge proofs to be composed...
3⃣Struct: The Struct type allows you to create compound data types in #SnarkyJS. You can define your own Struct types with methods to act upon the data. Check out this example implementing a Point structure:
1/ Web3 is all about decentralization and trustless systems that empower individuals. However, privacy remains a critical challenge in #web3 as transactions are recorded on a public blockchain. Let’s see how homomorphic encryption, #SnarkyJS and @MinaProtocol can change that!👇🧵
Are you heading to @RealWorldCrypto in Tokyo next week? @bkase_ our founding/architect engineer at @o1_labs will be there. #zk & #snarkyJS.
We're having an awesome time #ETHDenver2023 with @MinaProtocol. It's so inspiring to meet #BUIDLers using #snarkyJS for zkApps! @zkregi @jackservia @_HerDAO @tallyxyz
All of these features can be put into practice thanks to @o1_labs' #SnarkyJS: a great typescript domain specific language 🧑💻 that is laying the foundations to easily interact with blockchain cryptographic schemes 🦾 to create #zkApps 🌐
Places on the next @MinaProtocol zkApp Builder's Program (Cohort 1) are going fast. Register now if you're buidling in web3 and would like to power-up your skills using #snarkyJS and zero knowledge. minaprotocol.com/zkignite-cohor…
Interesting to compare how the same circuit looks in different zk frameworks! Here's how isZero would be done in #SnarkyJS, vs circom and Halo2:
I'm now going through @0xPARC lectures on Halo2. While it seems more powerful than Circom, it also feels much lower level. And being a Rust library instead of a standalone language makes it even more verbose. Here's the isZero gadget in both languages for comparison:
Are you interested in learning about #snarkyJS and building #zkApps in a fun, relaxed environment? Join @zkregi and @alysiatech and sign up for this awesome new workshop bit.ly/womeninmina
Are you at #ETHDenver? Come to the 'Off the Chain: Happy Hour' with @MinaProtocol and @_HerDAO Feb 27 (today) @ 17:00 learn more about #zk & #snarkyJS (plus meet some awesome people). FREE Tickets here eventbrite.com/e/off-the-chai…
Along with the @MinaFoundation our team of #zk experts will be on hand on Wednesday to assist developers building with #snarkyJS over on the @MinaProtocol discord channel. Join here discord.gg/minaprotocol and don't forget to check the local time where you are.
Members of the @o1_labs team will be at #EthDenver talking #snarkyJS, #zeroknowledge and @MinaProtocol. Find us with the @MinaFoundation, you can also see a list of #Mina related events here 🏗️🗓️🪩minaprotocol.com/blog/buidl-wit…
Winding down day 1 of #sbc2023. One takeaway from side conversations: Projects working on attestation of identity and credentials are really making progress now and will soon unlock new privacy preserving use cases for #snarkyjs @o1_labs.
It's always inspiring for us to hear about the different ways #zk developers want to use #̶S̶n̶a̶r̶k̶y̶J̶S̶ #o1js in their applications. If you have an idea, just reach out! @bkase_ @Phil_Kelly_NYC
The fantastic @zkregi's upcoming #womeninmina workshop is happening in May. If you're interested in #ZK and building zkApps on @MinaProtocol visit bit.ly/womeninmina @o1_labs @MinaDevelopers @MinaFoundation #snarkyJS #web3
Something went wrong.
Something went wrong.
United States Trends
- 1. Happy Thanksgiving Eve 3,287 posts
- 2. Good Wednesday 26.6K posts
- 3. #wednesdaymotivation 4,204 posts
- 4. #Wednesdayvibe 2,065 posts
- 5. Nuns 7,304 posts
- 6. Colorado State 3,126 posts
- 7. Mora 21.8K posts
- 8. Hump Day 10K posts
- 9. Happy Hump 6,614 posts
- 10. Luka 69.2K posts
- 11. Clippers 19.9K posts
- 12. Karoline Leavitt 25.9K posts
- 13. Tina Turner 4,932 posts
- 14. #StrangerThings5 16.5K posts
- 15. The God 418K posts
- 16. Collar 47.9K posts
- 17. Bayern 90.8K posts
- 18. Periods 14.2K posts
- 19. Joy Reid 4,601 posts
- 20. Witkoff 177K posts