|
- ZK + Account Abstraction - saleel. xyz
Experiment on building EIP-4337 smart account using ZK proofs + tips to overcome 4337 storage access restrictions If all on-chain public inputs are specific to a user, One approach is for the external contract that holds the "global public inputs" to implement the 4337 Aggregator interface, and use it to verify the proof of all wallets
- zkPoS with Halo2-pairing for verifying aggregate BLS signatures
State Verifier: verify zk or fraud proof, making sure state transition is valid; DA Verifier: verify the availability of transaction data for a newly proposed block; and On-chain In these scenarios, verifying computations, including aggregating public keys and verifying BLS signature (elliptic curve additions with pairing check), is expensive
- zk-auctions | ETHGlobal
zk-auctions The goal is to allow users to participate in auctions while keeping their bid amounts private during the bidding phase Only the winning bid is revealed at the end, ensuring fairness without sacrificing user privacy Lots of difficulties generating and verifying zk-proofs: First, tried with stone prover and integrity verifier
- GitHub - hudem1 zk-auctions
Contribute to hudem1 zk-auctions development by creating an account on GitHub All actions are logged on-chain, but sensitive information (bid amounts) is kept private until necessary Example Use Cases Lots of difficulties generating and verifying zk-proofs: First, tried with stone prover and integrity verifier locally and then
- Mantle Network advances technical roadmap as the first ZK validity . . .
Mantle Network is now poised to be a future-ready L2 chain as a native ZK rollup As the Ethereum landscape evolves, Mantle Network’s adoption of Succinct’s SP1 positions it as a leader in scalability and innovation Developers, users, and ecosystem partners can look forward to a faster, more secure, and interconnected Ethereum future
- zk-STARKs based scheme for sealed auctions in chains
This paper proposes a novel on-chain sealed auction scheme based on zk-STARKs, leveraging blockchain's decentralization and immutability to enhance auction security and efficiency The transparent proof process, which does not require a trusted setup, allows anyone to verify the correctness of auction results without relying on internal
- Proof systems of zkBridge
The Libra algorithm is an advanced zero-knowledge proof system that enables extremely fast proof generation and verifications It allows a prover to demonstrate the validity of some statements without revealing private information The algorithm proposed a linear time sumcheck protocol for general circuits, where it enables more than 10 times faster than prior works
- Aleph Zero 2024 recap: Laying a strong foundation for growth into 2025
Additionally, with Lukka, Aleph Zero on-chain monitoring went live While the Aleph Zero Snap was also added to MetaMask Snaps, so you can now transact with Aleph Zero network native assets on MetaMask using your Aleph Zero wallet Then, together with Oxford University, Aleph Zero joined the HomeDAO initiative incubate ZK use cases HomeDAO is
|
|
|