Saravanan Vijayakumaran pfp

Saravanan Vijayakumaran

@sarva.eth

122 Following
110 Followers
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Bitcoin header validation using Nova. https://github.com/avras/btc-nova-lc Repo has code and benchmarks. 100k headers validated in 4 hours using 0.5 GB RAM or under 2 hours using 20 GB RAM. Proof sizes < 16 KB. Heavily inspired by the ZeroSync implementation.
1 reply
1 recast
7 reactions
chandresh 🪴 pfp
chandresh 🪴
@chandresh.eth
kya bolti public
0 reply
2 recasts
2 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Slides from ZK lectures I gave earlier this week at a winter school https://www.ee.iitb.ac.in/~sarva/zk.html Contents: General intro, GMR85, Tornado Cash, R1CS, and Groth16
0 reply
0 recast
9 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
I am at ETHIndia. Standing in the registration line rn. DC me if you want to meet up
0 reply
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
The PLONK-based folding schemes do need a universal trusted setup, but you get constant proof sizes. I was thinking of Nova, Supernova when I said no trusted setup and logarithmic proof sizes
0 reply
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
My bet is on folding schemes. No trusted setup, folding can reduce circuit sizes, logarithmic proof sizes. No onchain verifier as of now though. https://github.com/lurk-lab/awesome-folding
1 reply
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
That's a tough question. Every team on ZK Twitter is like: my SNARK bad, my SNARK hood, my SNARK do stuff that your SNARK wish it could... 😅
2 replies
0 recast
3 reactions
Andy pfp
Andy
@andyguzmaneth
Building ZK apps with Circom / Groth16? 👉Try p0tion to run your Trusted Setup Ceremony 👈 - Build it in a few hours - People can contribute with CLI or browser (if few constraints) - Public good forever Ask the team on #🧪p0tion channel on discord.gg/pse https://github.com/privacy-scaling-explorations/p0tion
1 reply
2 recasts
10 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
"Rational Points on Elliptic Curves" by Silverman & Tate has an appendix on projective geometry. Just the details required to understand elliptic curves. Chapter 7 of "Modern Cryptography and Elliptic Curves" by Thomas R. Shemanske has a student-friendly treatment of curves in projective space.
1 reply
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
I prefer ZK rollups because they are a bigger nerdsnipe. Jokes aside, some differences are in my report below. https://warpcast.com/sarva.eth/0xc9f952e1
0 reply
0 recast
3 reactions
lucky pfp
lucky
@lsankar.eth
welcome sapir to the zk proving stack https://x.com/personae_labs/status/1714310502623608832?s=20 fast, mobile-friendly proving with an eye towards getting the proofs on-chain
2 replies
1 recast
7 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
I prepared a 3-hour lab on Ethereum smart contracts for undergraduates last year. Here is the manual https://www.respectedsir.com/ethlab/ Uses Remix and Hardhat. Hope to upgrade it to use foundry at some point.
0 reply
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Circom has a short learning curve 1. Read the docs https://docs.circom.io/ 2. Watch the tutorial from OxPARC https://learn.0xparc.org/materials/circom/learning-group-1/circom-1/ 3. Try writing circuits using zkREPL https://zkrepl.dev/ 4. Attempt the Axiom puzzle https://hackmd.io/@yisun/SkjQIyhTj
1 reply
0 recast
1 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
@lsankar.eth might be able to help
0 reply
0 recast
2 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Here you go https://github.com/avras/nova-sha256
0 reply
0 recast
1 reaction
welter pfp
welter
@fun
i made (another) Farcaster app view your cast activity in a github-like graph, and see your most liked casts!! still a work in progress ((: FarcasterUserStats.com
22 replies
19 recasts
97 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Adding this to my reading list. Skimmed the Groth16 chapter. Seems to be explaining the "why" of the different components in the construction. https://www.rareskills.io/zk-book
2 replies
0 recast
6 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Met Madhav after the Farcaster Mumbai meetup. He was attending the Solana Hacker House. Hosting him for a talk in IIT Bombay campus at 11am, IST, today (26th Sept). DM me for gate pass. Sorry for the late notice
0 reply
0 recast
0 reaction
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Oh wow. How do I mint this cast as an NFT? Tbh, I got paid to write it. Credit to Arcana for sponsoring this exploration.
0 reply
0 recast
2 reactions
Saravanan Vijayakumaran pfp
Saravanan Vijayakumaran
@sarva.eth
Allow me to shill my report on rollups. May not answer your initial question but you should read it for the figures I made it in tikz 🙂 https://warpcast.com/sarva.eth/0xc9f952
1 reply
0 recast
1 reaction