286812
Alessandro Manfredi
@allemanfredi.eth #286812
oracles, coprocessors, bridges & wallets since 2017 + Building /boostyblast
325 Follower 172 Following
Introducing Suffragium: a next-gen voting system using ZK proofs and fully homomorphic encryption to secure privacy and prevent bribery.
https://github.com/allemanfredi/suffragium-contracts
https://github.com/allemanfredi/suffragium-contracts
Just released sp1-dkim: an SP1(@SuccinctLabs) program designed to verify DKIM signatures.
https://github.com/allemanfredi/sp1-dkim
PS: The repo is still under development
https://github.com/allemanfredi/sp1-dkim
PS: The repo is still under development
is there anyone interested in promoting content on farcaster yet?
Today we have announced SafeJunction: a trustless database that makes proofs easier, safer, and more accessible.
SJ addresses these issues, allowing devs to:
✅ Write code in Rust once and execute it on any proving environment
✅ Switch easily between proving backends (zkVMs, teeVMs)
✅ Efficiently verify proofs via the integrated proof aggregators
I truly believe SafeJunction is a game-changer, opening up new possibilities we couldn't even imagine before
https://x.com/safejunctionhq/status/1814312299630362711?s=46&t=t6UuMDA8IcrGeVCe_td0SA
SJ addresses these issues, allowing devs to:
✅ Write code in Rust once and execute it on any proving environment
✅ Switch easily between proving backends (zkVMs, teeVMs)
✅ Efficiently verify proofs via the integrated proof aggregators
I truly believe SafeJunction is a game-changer, opening up new possibilities we couldn't even imagine before
https://x.com/safejunctionhq/status/1814312299630362711?s=46&t=t6UuMDA8IcrGeVCe_td0SA
In the short to medium term, they can provide an additional layer of security when used alongside ZK proofs. As we know, ZK proofs are not yet perfect, and it's uncertain how long it will take for them to reach that level of reliability.
https://x.com/0xfanzhang/status/1813576312117936411?s=46&t=t6UuMDA8IcrGeVCe_td0SA
https://x.com/0xfanzhang/status/1813576312117936411?s=46&t=t6UuMDA8IcrGeVCe_td0SA
https://x.com/hashialliance/status/1810355537655025886?s=46&t=t6UuMDA8IcrGeVCe_td0SA
I am really excited to work on this project!
Computation should happen off-chain, and contracts should just verify proofs (like ZK proofs or TEE attestations) to keep transaction costs low. SafeJunction is the perfect solution to make this idea a reality.
I am really excited to work on this project!
Computation should happen off-chain, and contracts should just verify proofs (like ZK proofs or TEE attestations) to keep transaction costs low. SafeJunction is the perfect solution to make this idea a reality.
Anchor or Native rust for Solana SC development?
Here are my closest Farcaster friends. Click the frame to view your circles.
Building a bridge to connect OP chains for reading contract states across them.
This bridge enables users to promote content on /boostyblast using $DEGEN, allowing the reading of Farcaster contract states on Base from Optimism.
PS: BoostyBlast is a content promotion platform for Farcaster that I'm building by myself
This bridge enables users to promote content on /boostyblast using $DEGEN, allowing the reading of Farcaster contract states on Base from Optimism.
PS: BoostyBlast is a content promotion platform for Farcaster that I'm building by myself
I'm optimistic about zk proofs, but imho, they aren't fully ready yet due to proving time and costs. In the short to medium term, I would bet on TEEs, which also allow off-chain execution and on-chain verification via attestations.
Is anyone going to ZK Proof 6 in Berlin tomorrow?
Internazionali BNL d’Italia - Rome - Semifinals
Nicolás Jarry vs Tommy Paul
Nicolás Jarry vs Tommy Paul
https://twitter.com/LensProtocol/status/1790458242855751950
IMHO, @farcaster should follow this approach. Having the network's state committed to Ethereum is very useful and can open up many new use cases.
IMHO, @farcaster should follow this approach. Having the network's state committed to Ethereum is very useful and can open up many new use cases.
Just set a new goal on @talent 🎯 Who's going to be my accountability buddy?
Check it now: https://play.talentprotocol.com/goals/fc9dd6e0-9e9d-4750-8153-738bc4d55630
Check it now: https://play.talentprotocol.com/goals/fc9dd6e0-9e9d-4750-8153-738bc4d55630
What's your favorite Pokémon card?
In the future, on-chain light clients might no longer be necessary. Thanks to zk proofs, the integrity of any block could be directly verified by tracing it back to the genesis block. Although this approach may appear to be futuristic, it is rapidly approaching feasibility.
imho the model itself is not wrong. The feed simply needs to be improved.
A fixed challenge period in a zk coprocessor (or similar systems) using an AVS can lead to unexpected behavior: If the proof generation time exceeds the challenge period, incorrect results could be accepted, and slashing wouldn't occur. Managing this is delicate, as implementing a dynamic challenge period isn't easy.