Grzegorz Świrski
@gswirski
Followers
43
Following
21
Media
0
Statuses
17
Co-Founder @reilabs_io
Joined June 2013
Great job, team! We've published a paper and code on efficiently proving Keccak in zero-knowledge.
🧵 Keccacheck: towards a SNARK friendly Keccak Reilabs publishes a method to batch-verify Keccak hashes with <4000 R1CS constraints, enabling new levels of efficiency for the ZK ecosystem. [1/1]
0
0
0
At last month's summit, Matej Penciak gives a talk on Lampe! This new tool makes formal verification accessible for ZK developers by verifying Noir programs at the semantic level. https://t.co/WkHJJpMiht
0
3
13
We've been cooking something special for the past few months. @NoirLang is about to become the most secure ecosystem in ZK with Lampe – our custom made formal verification framework. Check out @mmkostrzewa's talk at NoirCon2 to learn more. Who's in?
0
4
23
Miden road to mainnet: https://t.co/WSr2DJAVQB We get great help from external teams: - @class_lambda - client and all over the place - @reilabs_io - mostly on crypto and GPU - @DemoxLabs - WebClient and TS SDK - @defined_innov - AirScript and recursion - @0xs34n - explorer
5
25
87
Developing ZK apps often requires out-of-the-box thinking in order to find the best solutions. This year at StarknetCC, @gswirski will prove it's true by showing how using "hints", which point dapps towards out-of-the-chain data & processing power, can greatly reduce gas costs.
1
2
4
Reilabs first project. Very proud.
🧵 Ethereum's EIP-4844 Trusted Setup Ceremony Over 141,000 Ethereum community members performed a trusted setup ceremony for the Dencun upgrade. Reilabs contributed the backend and parts of the crypto. Our new blog post explains why the ceremony was needed. [1/7]
0
0
0
My latest project at Reilabs just went live.
🧵 Introducing Cairo Hints for Cairo language Hints enable developers to supplement their programs with data that is difficult to obtain in ZK circuits, allowing them to solve new classes of problems with Cairo. [1/6]
0
0
1
🧵 Formal Verification for ZK Safety ZK circuits provide developers with the ability to offload expensive computations and just check they were done right on chain. Formal Verification is crucial to making sure these often-complex protocols are secure, and Reilabs recently
16
25
120
My first post on the @reilabs_io blog!
“We have started with an already highly-optimized routine. By combining it with the features of a modern processor [on AWS EC2] we were able to achieve an additional 37% improvement.”
1
0
0