The Costa Group (@TheCostaGroup) profile picture

The Costa Group

@TheCostaGroup
 Madrid
costa.fdi.ucm.es
Joined June 2014
  • Tweets31
  • Following20
  • Followers51
The Costa Group retweeted
ALBERT RUBIO (@ALBERTRUBIO33) profile picture
ALBERT RUBIO@ALBERTRUBIO3319 Nov 2025
Tomorrow at 4pm I'll be at Real-Time Proofs in Motion by @ziskvm speaking about "A General Approach to Verifying zkVM Arithmetizations" luma.com/9mydf126?tk=yyHqVM
Real-Time Proofs in Motion · Luma

Real-Time Proofs in Motion · Luma

Hi ZisK at Devconnect 2025 — Real-Time Proofs in Motion Following our recent milestone in real-time zk-proofing of Ethereum, we’re continuing the conversation…

luma.com
1
2
145
The Costa Group retweeted
Solidity (@solidity_lang) profile picture
Solidity
@solidity_lang18 Nov 2025
Building on that, Alejandro Cerezo, walked us through a framework that builds upon the SSA-CFG representation!
Image from Solidity (@solidity_lang)
1
3
6
599
The Costa Group retweeted
Solidity (@solidity_lang) profile picture
Solidity
@solidity_lang18 Nov 2025
And lastly, Samir Geniam, presenting formal semantics for Yul at the CFG level using Coq!
Image from Solidity (@solidity_lang)
3
5
551
The Costa Group retweeted
Solidity (@solidity_lang) profile picture
Solidity
@solidity_lang18 Nov 2025
Taking the stage next is Samir Geniam, presenting formal semantics for Yul at the CFG level using Coq - and how this work powers verification tools in the FORYU project.
Image from Solidity (@solidity_lang)
5
23
1,272
The Costa Group retweeted
Solidity (@solidity_lang) profile picture
Solidity
@solidity_lang18 Nov 2025
On the stage right now: Alejandro Cerezo, guiding us through a framework that builds upon the SSA-CFG representation to generate highly efficient EVM code while avoiding stack-too-deep issues.
Image from Solidity (@solidity_lang)
4
24
979
The Costa Group retweeted
ziskvm (@ziskvm) profile picture
ziskvm
@ziskvm14 Nov 2025
ZisK at Devconnect 2025 - Real-Time Proofs in Motion Following our recent milestone in real-time zk-proofing of Ethereum, we’re continuing the conversation at @EFDevcon Join us on Nov 20 at Aleph Hub, 11 AM for deep dives, Workshop, and discussions on ZisK and the path toward scalable, trustless computation with contributors from @ethereum , @OpenZeppelin , @TheCostaGroup , @boundlesshq , @zksync , @brevis_zk, @SuccinctLabs, and more. Register here: luma.com/9mydf126
Real-Time Proofs in Motion · Luma

Real-Time Proofs in Motion · Luma

Hi ZisK at Devconnect 2025 — Real-Time Proofs in Motion Following our recent milestone in real-time zk-proofing of Ethereum, we’re continuing the conversation…

luma.com
6
8
5
36
12,258
The Costa Group retweeted
Solidity (@solidity_lang) profile picture
Solidity
@solidity_lang29 Oct 2025
Attend Alejandro Cerezo's talk that will walk us through a framework that builds upon the SSA-CFG representation to generate efficient EVM code while addressing the stack-too-deep problem.
Image from Solidity (@solidity_lang)
1
2
6
188
The Costa Group retweeted
ALBERT RUBIO (@ALBERTRUBIO33) profile picture
ALBERT RUBIO@ALBERTRUBIO3327 Oct 2025
#circom 2.2.3 is just released. Check for more details github.com/iden3/circom/blob…
circom/RELEASES.md at master · iden3/circom

circom/RELEASES.md at master · iden3/circom

zkSnark circuit compiler. Contribute to iden3/circom development by creating an account on GitHub.

github.com
2
7
25
2,928
🚨 Two critical soundness bugs found in ZisK using CIVER 🚨 In a collaboration with the @ziskvm development team, the Costa group is applying formal methods to verify recursion/aggregation circuits of ZisK. 🔗More details here: costa.fdi.ucm.es/web/news/CI… 🧵
2
8
3
25
7,110
more replies
5/ Bugs have been reported as issues: github.com/0xPolygonHermez/s… github.com/0xPolygonHermez/s…
Critical soundness bug in Num2Ternary template · Issue #10 · 0xPolygonHermez/stark-recurser

Critical soundness bug in Num2Ternary template · Issue #10 · 0xPolygonHermez/stark-recurser

The Num2Ternary(n) template (src/pil2circom/circuits.gl/bitify.circom) presents a critical safety vulnerability that can affect the behavior of the circuits that rely on it. The template is not det...

github.com
1
3
488
6/ Both bugs would compromise ZisK soundness if deployed. Thanks to CIVER, they've been caught and fixed early and won’t reach production. Full recursion/aggregation verification is in progress. A complete public report is coming soon. 📄
3
289
Replying to @EnvisageProject
@EnvisageProject on the Cordis website cordis.europa.eu/result/rcn/…
Image from Einar Broch Johnsen (@ebjohnsen)
5
2
The Costa Group retweeted
Xebia (@Xebia_Global) profile picture
Xebia@Xebia_Global26 Jan 2016
Our UK team keeps growing! Excited to welcome @diesalbla to our roster as Senior Software Engineer #Scala . buff.ly/1ShuCsf
10
8
The Costa Group retweeted
CWI (@CWInl) profile picture
CWI@CWInl21 May 2015
Annual meeting @EnvisageProject at CWI
Image from CWI (@CWInl)
Image from CWI (@CWInl)
3
1
New Publication: "Object-Sensitive Cost Analysis for Concurrent Objects" at Software Testing, Verification and Reliability
2
Remembering German Puebla at PEPM2015 – at Mumbai, India
Image from Roberto Giacobazzi🇮🇹🇺🇸🇫🇷⛳️🌵 (@rgiacobazzi)
5
2
New Publication: Non-Cumulative Resource Analysis. Accepted at TACAS'15. etaps.org/2015/tacas
1
1
Load more