Shriphani Palakodety pfp

Shriphani Palakodety

@shriphani

884 Following
687 Followers
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
that is a beautiful space - is this in SF?
0 reply
0 recast
0 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
Is there a spec doc showing what is being proved? Looks like a really cool project - might get one.
0 reply
0 recast
0 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
sorry wrong info from me - you just need the verifying key. You can generate it yourself if you have access to the ELF or treat it like a constant.
1 reply
0 recast
1 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
do you think this is cheapening the brand ?
0 reply
0 recast
0 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
It is a shitshow (this problem doesn't exist for circuits - plonky2/3 and circom will produce the same circuit across compilations). SP1 asks you to check the ELF into git and RISC0 has some unsupported hacky tooling with docker + cargo.
1 reply
0 recast
1 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
am I misunderstanding this graph? The current slump seems bad no?
0 reply
0 recast
0 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
really cool - in your experience how complex can the apps get before they need serious human intervention ?
1 reply
0 recast
2 reactions
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
I knew someone who suggesting using rwasa - a full featured http server in x86 assembly. the author routinely answers qs on hn and is surprisingly well adjusted despite writing lots of x86 assembly https://2ton.com.au/rwasa/
0 reply
0 recast
0 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
I like having chatgpt open and using just that for very focused assistance. When writing a lot of zk code, ai tools manage to fuck everything up that simple 30min tasks take a whole day to complete.
0 reply
0 recast
1 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
would like to be a member
0 reply
0 recast
0 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
"rooted in age-old geometry" - the Pythagorean theorem of style
0 reply
0 recast
1 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
Updating the project obsidian is my favorite friday evening activity
0 reply
0 recast
0 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
I would say no - the more sophisticated the system - the more the opportunity to question the results - paper ballots work extremely well
0 reply
0 recast
0 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
Ahem: https://www.tiktok.com/@wallywhatthe/video/7415987056540732702
0 reply
0 recast
0 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
I love bill clinton's timex ironman - they should hand one out at every naturalization ceremony: https://www.hodinkee.com/articles/president-bill-clinton-wearing-a-timex-ironman-triathlon-8-lap-to-his-inauguration-1993
0 reply
0 recast
0 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
This is the natural consequence of bureaucrats being at the top of the food chain.
0 reply
0 recast
1 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
The post is correct but this is unfair to Steve. People at the top with his level of charisma deliver really shitty results are a matter of routine - he's done alright - turned unix into the most successful consumer computing platform on earth today.
0 reply
0 recast
0 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
This is true. zkvms are the right tool to prototype with - the transition to circuits is not that difficult if the statement falls within a small set of patterns (mostly around pre image verification). Otoh if you are doing stuff like verifying ecdsa, Eddsa and more you’re out of luck - zkvm might be the only solution
0 reply
0 recast
1 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
if you're a rollup with a single (or few) sequencer(s), no value in moving to zk circuits - just get the beefiest machine you need with 1tb RAM. anything more involved, it is just a question of when you make the switch
1 reply
0 recast
1 reaction
Shriphani Palakodety pfp
Shriphani Palakodety
@shriphani
and the CVE post was written in a super shady manner - no visibility on the home page but there's a public link dropped in the comments
0 reply
0 recast
1 reaction